0610132人目の素数さん
2019/12/06(金) 06:57:05.58ID:a5FaM1Ty>Zermelo 構成の後者とは、つぎつぎと作られるシングルトンなんですよ。
>それ以外にはありえない
それが誤り
>Zermelo 構成で、全ての後者を含む無限集合に、
>ωに相当する要素があります
>それは、シングルトンであり、かつ自然数Nの外の要素です
それが誤り
ωに相当する要素はない
Zermelo構成による最初の超限順序数は
全ての有限シングルトンのみを要素とする集合
であり、シングルトンではない
「有限順序数がシングルトンだから
最初の超限順序数もシングルトンだ」
というのは
「任意の自然数nについて(1+1/n)^nが有理数だから
lim(n→∞)(1+1/n)^nも有理数だ」
というのと同じくらい誤った主張です