ZFC requires Axiom Schema/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on ZFC requires Axiom Schema

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