Collections | Livre | Chapitre
Zermelo s1931f
pp. 516-523
Résumé
In his Warsaw talks s1929b Zermelo had proposed a new concept of set with the intention of separating sets from classes in a way more coherent than that of von Neumann. Without providing details, Zermelo takes as sets those classes which are domains of structures allowing for a categorical definition, i. e., a definition which up to isomorphism has exactly one model. There is no explanation about the additional relations allowed for definitions; moreover, there is no comment on the language in which the definitions are to be given. Examples such as the Peano axioms for the natural numbers and Hilbert's axioms for the real numbers suggest that second-order definitions should be allowed. As stated in s1930e, Zermelo is fully convinced that a set in the new sense "is precisely that which Cantor really meant by his well-known definition of "set', and it can be treated as a set everywhere and without contradiction in all purely mathematical considerations and deductions" (ibid., 5).
Détails de la publication
Publié dans:
Zermelo Ernst (2010) Set theory, miscellanea / Mengenlehre, varia. Dordrecht, Springer.
Pages: 516-523
DOI: 10.1007/978-3-540-79384-7_27
Citation complète:
Ebbinghaus Heinz-Dieter, 2010, Zermelo s1931f. In E. Zermelo Set theory, miscellanea / Mengenlehre, varia (516-523). Dordrecht, Springer.