display all the ideas for this combination of texts
2 ideas
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
Full Idea: Zermelo's paper sets out to show that the standard set-theoretic axioms (what he calls the 'constitutive axioms', thus the ZF axioms minus the axiom of infinity) have an unending sequence of different models, thus that they are non-categorical. | |
From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1209 | |
A reaction: Hallett says later that Zermelo is working with second-order set theory. The addition of an Axiom of Infinity seems to have aimed at addressing the problem, and the complexities of that were pursued by Gödel. |
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'. |