# 5 Axiom Schemata in Machover’s Propositional Logic

Axiomatic proof systems are equipped with certain axiom schemata, in addition to **Modus Ponens** as an inference rule. Different axiomatic proof systems can have different axioms, as long as one can prove that they are sound and complete. What are Machover’s axiom schemata for propositional logic? And what are they for? Check out **this handout** to find out more!