現代数学の系譜　カントル　超限集合論2

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2019/12/20(金) 23:28:06.21

前スレ
現代数学の系譜　カントル　超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/

関連スレ
１）現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き

２）１）の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-

３）２）の中の正則性公理に関する議論の前のスレ（＾＾
現代数学の系譜工学物理雑談古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-

**１３２人目の素数さん** · 2020/03/27(金) 07:42:23.78

>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能

３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能

したがって「箱入り無数目」は（100列が確定している場合）正しい

**１３２人目の素数さん** · 2020/03/27(金) 07:49:41.59

>>682
超限順序数ωは超準自然数ではない

「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで
「箱入り無数目」の否定にはならない