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!
Math Vault and its Redditbots has the singular goal of advocating for education in higher mathematics through digital publishing and the uncanny use of technologies. Head to the Vault for more math cookies. :)