Axiom:Axiom of Replacement/Class Theory/Formulation 1
Jump to navigation Jump to search
The axiom of replacement is also known as the axiom of substitution.
- Results about the Axiom of Replacement can be found here.
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $6$: Order Isomorphism and Transfinite Recursion: $\S 3$ The axiom of substitution: $A_8$