Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

184638

Zermelo s1931f

Heinz-Dieter Ebbinghaus

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.