Axiom:Axiom of Replacement/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Axiom of Replacement

The axiom of replacement was added to the axioms of Zermelo set theory by Abraham Halevi Fraenkel, and also independently by Thoralf Albert Skolem.

The resulting system of axiomatic set theory is now referred to as Zermelo-Fraenkel Set Theory.