25/10/23 11:41:20.02 DrfhhjAK.net
>>677
>１）”実数は好きな順序で整列できる”：これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される、但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない というか ”お任せ”にできるのだよ
有限個を好きに整列したところで無限個残るからまったく無意味。
>２）”可算集合の整列には可算選択公理が必要”：これ 正しい。が、整列長さω 限定。（下記 ACωとある通りですよ。基本は” f(n)∈A(n) for every n∈N”な）
間違い。
実際、自然数全体の集合Nは通常の大小関係<で整列集合であり、可算集合Xとの間に全単射 f:N→X が存在し、X上の順序<'を f(n)<'f(m)⇔n<m で定義すれば、空でない任意の部分集合Sに対して minS=f(min(f^(-1)(S))) が存在するから<'は整列順序。
>３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
予想とは証明が見つかっていない命題であり、証明が存在しない命題ではない。
>４）”ZFC集合論では到達不能基数は存在しない”：これは、上記３）項と同じ。 ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態
３）項と同じく間違い。
>５）”自然数全体の集合の構成に∩は使えない”：公理的集合論では、構成に∩を使わずに済ませられるなら 普通に その方がキレイ。∩を使う 意義がどこにあるの？ その意義を説明できないだろ？ きみたちｗｗｗ ；ｐ）
使わないとキレイはおまえの勝手な感想に過ぎないから却下。