# Peano Arithmetic requires Axiom Schema/Historical Note

It was proved by Richard Merett Montague in $1957$ that Peano's axioms require an axiom schema.