Talk:Cantor's first set theory article/GA2: Difference between revisions

Content deleted Content added
Comments: Should not need to give details about the Skolem paradox in the current article
No edit summary
Line 104:
:{{green|“In 1922, Thoralf Skolem proved that if the axioms of set theory are consistent" — Which axioms of set theory exactly? Is this referring to a specific collection of axioms (e.g. ZFC), or saying generally "given any set of consistent axioms ..."? (In the latter case, the definite article "the axioms of set theory" is misleading.)}}
::In my opinion, the current article does not need to give a full explanation of the Skolem paradox, so long as the reader can easily follow the links to a longer discussion. An answer to Bilorv's specific question can be seen in [http://boole.stanford.edu/skolem/ “Skolem’s paradox up close and personal”, by Vaughan Pratt]. (The Skolem paradox follows from the Zermelo axioms alone and doesn't require the full ZFC set of axioms). The modern statement of the [[Löwenheim–Skolem theorem]] as presented in our article speaks of 'any countable first-order theory' so the paradox holds even for a variety of axiomatizations. It appears that the first-orderness is what causes the paradox. The lead of [[Löwenheim–Skolem theorem]] says "In general, the Löwenheim–Skolem theorem does not hold in stronger logics such as second-order logic." But these refinements come from later. The purpose of mentioning Skolem's paradox in the current article is surely to show what happened to the notion of 'countability' as employed by Cantor in the work of later mathematicians. [[User:EdJohnston|EdJohnston]] ([[User talk:EdJohnston|talk]]) 02:26, 8 August 2018 (UTC)
:::Right, but I wasn't suggesting that a full explanation should be given. The problem was the ambiguity. I'm happy if "the axioms" is replaced with "standard axioms" or "Zermelo axioms" or "ZFC axioms" or "certain axioms (e.g. ZFC)" etc. But the paragraph needs to be meaningful and fully accurate when read in isolation, so I still think something needs to be changed. <span class="nowrap">— '''[[User:Bilorv|Bilorv]]'''<sub>[[Special:Contribs/Bilorv|(c)]][[User talk:Bilorv|('''talk''')]]</sub></span> 15:39, 8 August 2018 (UTC)