Axiom:Axiom of Replacement/Historical Note
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.
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 9$ Zermelo set theory