| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| Full Idea: Zermelo included Replacement in 1930, after it was noticed that the sequence of power sets was needed, and Replacement gave the ordinal form of the well-ordering theorem, and justification for transfinite recursion. | |
| From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Penelope Maddy - Believing the Axioms I §1.8 | |
| A reaction: Maddy says that this axiom suits the 'limitation of size' theorists very well, but is not so good for the 'iterative conception'. |
| 13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
| Full Idea: It was observed by several people that for a satisfactory theory of ordinal numbers, Zermelo's axioms required strengthening. The Axiom of Replacement was proposed by Fraenkel and others, giving rise to the Zermelo-Fraenkel (ZF) axioms. | |
| From: Herbert B. Enderton (Elements of Set Theory [1977], 1:15) |
| 18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
| Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception. | |
| From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3 |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| Full Idea: Axiom of Replacement Scheme: ∀x ∈ A ∃!y φ(x,y) → ∃Y ∀X ∈ A ∃y ∈ Y φ(x,y). That is, any function from a set A will produce another set Y. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 15899 | Replacement was immediately accepted, despite having very few implications [Lavine] |
| Full Idea: The Axiom of Replacement (of Skolem and Fraenkel) was remarkable for its universal acceptance, though it seemed to have no consequences except for the properties of the higher reaches of the Cantorian infinite. | |
| From: Shaughan Lavine (Understanding the Infinite [1994], I) |