{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T16:39:20Z","timestamp":1777912760426,"version":"3.51.4"},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":4976,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2000,6]]},"abstract":"<jats:p>On October 4, 1937, Zermelo composed a small note entitled \u201cDer Relativismus in der Mengenlehre und der sogenannte Skolemsche Satz\u201d(\u201cRelativism in Set Theory and the So-Called Theorem of Skolem\u201d) in which he gives a refutation of \u201cSkolem's paradox\u201d, i.e., the fact that Zermelo-Fraenkel set theory\u2014guaranteeing the existence of uncountably many sets\u2014has a countable model. Compared with what he wished to disprove, the argument fails. However, at a second glance, it strongly documents his view of mathematics as based on a world of objects that could only be grasped adequately by infinitary means. So the refutation might serve as a final clue to his epistemological credo.<\/jats:p><jats:p>Whereas the Skolem paradox was to raise a lot of concern in the twenties and the early thirties, it seemed to have been settled by the time Zermelo wrote his paper, namely in favour of Skolem's approach, thus also accepting the noncategoricity and incompleteness of the first-order axiom systems. So the paper might be considered a late-comer in a community of logicians and set theorists who mainly followed finitary conceptions, in particular emphasizing the role of first-order logic (cf. [8]). However, Zermelo never shared this viewpoint: In his first letter to G\u00f6del of September 21, 1931, (cf. [1]) he had written that the Skolem paradox rested on the erroneous assumption that every mathematically definable notion should be expressible by a finite combination of signs, whereas a reasonable metamathematics would only be possible after this \u201cfinitistic prejudice\u201d would have been overcome, \u201ca task I have made my particular duty\u201d.<\/jats:p>","DOI":"10.2307\/421203","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:13:57Z","timestamp":1146986037000},"page":"145-161","source":"Crossref","is-referenced-by-count":12,"title":["Zermelo and the Skolem Paradox"],"prefix":"10.1017","volume":"6","author":[{"given":"Dirk Van","family":"Dalen","sequence":"first","affiliation":[]},{"given":"Heinz-Dieter","family":"Ebbinghaus","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600006545_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-15741-0"},{"key":"S1079898600006545_ref004","first-page":"253","volume-title":"Die Preussische Akademie der Wissenschaften. Sitzungsberichte. Physikalisch-Mathematische Klasse","author":"Fraenkel","year":"1922"},{"key":"S1079898600006545_ref019","doi-asserted-by":"crossref","first-page":"29","DOI":"10.4064\/fm-16-1-29-47","article-title":"\u00dcber Grenzzahlen und Mengenbereiche. Neue Untersuchungen \u00fcber die Grundlagen der Mengenlehre","volume":"16","author":"Zermelo","year":"1930","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006545_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(81)90002-1"},{"key":"S1079898600006545_ref014","volume-title":"From Frege to G\u00f6del","author":"Heijenoort","year":"1967"},{"key":"S1079898600006545_ref012","first-page":"3","volume-title":"Proceedings of the 7th Scandinavian Mathematics Congress, Oslo 1929","author":"Skolem","year":"1930"},{"key":"S1079898600006545_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(79)90127-7"},{"key":"S1079898600006545_ref013","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093633905"},{"key":"S1079898600006545_ref022","doi-asserted-by":"crossref","first-page":"136","DOI":"10.4064\/fm-25-1-136-146","article-title":"Grundlagen einer allgemeinen Theorie dermathematischen Satzsysteme (Erste Mitteilung)","volume":"25","author":"Zermelo","year":"1935","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006545_ref002","volume-title":"Logical dilemmas. The life and work of Kurt G\u00f6del","author":"Dawson","year":"1997"},{"key":"S1079898600006545_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(85)90070-9"},{"key":"S1079898600006545_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449999"},{"key":"S1079898600006545_ref018","volume-title":"Vortrags-Themata f\u00fcr Warschau 1929","author":"Zermelo","year":"1929"},{"key":"S1079898600006545_ref021","first-page":"85","article-title":"\u00dcber Stufen der Quantifikation und die Logik des Unendlichen","volume":"41","author":"Zermelo","year":"1932","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"S1079898600006545_ref020","volume-title":"Bericht an die Notgemeinschaft der Deutschen Wissenschaft \u00fcber meine Forschungen betreffend die Grundlagen der Mathematik","author":"Zermelo","year":"1931"},{"key":"S1079898600006545_ref011","first-page":"1","article-title":"\u00dcber einige Grundlagenfragen der Mathematik","volume":"4","author":"Skolem","year":"1929","journal-title":"Norsk Vid.-Akad.Oslo.Mat. nat. Klasse"},{"key":"S1079898600006545_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-42478-0"},{"key":"S1079898600006545_ref015","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1515\/crll.1925.154.219","article-title":"Eine Axiomatisierung der Mengenlehre","volume":"154","author":"Neumann","year":"1925","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"S1079898600006545_ref017","doi-asserted-by":"crossref","first-page":"339","DOI":"10.4064\/fm-14-1-339-344","article-title":"\u00dcber den Begriff der Definitheit in der Axiomatik","volume":"14","author":"Zermelo","year":"1929","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006545_ref008","doi-asserted-by":"publisher","DOI":"10.1080\/01445348008837006"},{"key":"S1079898600006545_ref007","volume-title":"The higher infinite. Large cardinals in set theory from their beginnings","author":"Kanamori","year":"1994"},{"key":"S1079898600006545_ref010","first-page":"217","volume-title":"Proceedings of the 5th Scandinavian Mathematics Congress, Helsinki 1922","author":"Skolem","year":"1923"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600006545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:36:28Z","timestamp":1707032188000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600006545\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["S1079898600006545"],"URL":"https:\/\/doi.org\/10.2307\/421203","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}