Abstract
Through Skolem 1930 Zermelo became aware of Thoralf Skolem’s result (1923) that first-order set theory, if consistent, admits a countable model. Viewing axiomatic set theory as a foundation of Cantorian set theory with its unlimited progression of infinite cardinalities, Zermelo flatly rejected the basis of Skolem’s argument, the first-order formulation of the axioms of separation and replacement. In order to overcome the weakness of first-order logic, he started to realize a program that is charted in his theses concerning the infinite in mathematics, s1921: the development of infinitary languages and an infinitary logic as a means of giving mathematics a foundation which would preserve its “true” character. A second line he pursued consisted in developing set theory without Skolem’s limitations on separation, namely by “keeping with the true spirit of set theory, [allowing] for the free division, and [postulating] the existence of all [subsets] formed in an arbitrary way” (s1930d); this resulted in his second-order axiom system of set theory and the cumulative hierarchy as developed in his 1930a.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ebbinghaus, HD. (2010). Zermelo s1931b. In: Ebbinghaus, HD., Fraser, C., Kanamori, A. (eds) Ernst Zermelo - Collected Works/Gesammelte Werke. Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79384-7_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-79384-7_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79383-0
Online ISBN: 978-3-540-79384-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)