# ZFC requires Axiom Schema

## Theorem

The system of axiomatic set theory known as Zermelo-Fraenkel Set Theory with the Axiom of Choice requires an axiom schema.

## Historical Note

It was proved by Richard Merett Montague in $1957$ that ZFC requires an axiom schema.