# Peano Arithmetic requires Axiom Schema

## Theorem

A system of arithmetic based on Peano's axioms requires an axiom schema.

## Historical Note

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