Peano Arithmetic requires Axiom Schema/Historical Note
Jump to navigation
Jump to search
Historical Note on Peano Arithmetic requires Axiom Schema
It was proved by Richard Merett Montague in $1957$ that Peano's axioms require an axiom schema.