Axiomatizations

Applications and Theories

• Applications base many problems on a common theory
• The TPTP has axiom files

Features

• Axioms files have axioms for standard theories
• Axioms files are included using an include directive
• Inclusion can be selective, by axiom name