[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (381ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
206(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/19(水)23:19 ID:H7LP/xSH(15/15) AAS
>>202 補足
・空集合Φから出発して、段々複雑な集合を作っていく
・ノイマン流で、0＝Φ、1＝{Φ}、2＝{0,1}＝{Φ,{Φ}}などなど
・この集合を創造する列は、無限に続く。いや続かなければならない。ZFCは、少なくともカントールの集合論を包含すべし。つまり、無限集合を創造できなければならない
・よって、この列は青天井の無限大へ続く
・ところで、列が無限か有限かは、どこで決まるか？ それは列の項の数で決まる。上から数えても、下から数えても変わるはずもない。変わるように思うのは、妄想でしょ
・正則性公理は、なぜ必要か？ ノイマン先生は、ZFCに余計な集合を持ち込みたくなかったのでしょう。ZFCの中をスッキリして、この後の無矛盾だとか完全性とかを証明するために。超限帰納法も使えるしね
・正則性公理が、上昇する無限列を規制したらまずい。有限列しかできないなら、カントールの集合論に届かないよ。無限の上昇列は良いんだよ。0∈1∈2・・∈ω∈ω+1・・ は当然でしょ（＾＾
207(1): 2021/05/19(水)23:30 ID:XuBYI6GQ(11/12) AAS
>>205-206
はい、逃げたのでキミをサルと認定しますた
サルには数学は無理なので諦めましょう
208: 2021/05/19(水)23:40 ID:XuBYI6GQ(12/12) AAS
>>206
>・ところで、列が無限か有限かは、どこで決まるか？ それは列の項の数で決まる。上から数えても、下から数えても変わるはずもない。変わるように思うのは、妄想でしょ
誰かが変わると言ってることが妄想ｗ
>>・正則性公理が、上昇する無限列を規制したらまずい。
誰かが規制してると言ってることが妄想ｗ
>有限列しかできないなら、カントールの集合論に届かないよ。
仮定が妄想なので無意味ｗ
>無限の上昇列は良いんだよ。
誰かが規制してると言ってることが妄想ｗ
>0∈1∈2・・∈ω∈ω+1・・ は当然でしょ（＾＾
省5
212: 2021/05/20(木)06:23 ID:XKKTinQT(4/22) AAS
>>206
>・空集合Φから出発して、段々複雑な集合を作っていく
>・ノイマン流で、0＝Φ、1＝{Φ}、2＝{0,1}＝{Φ,{Φ}}などなど
>・この集合を創造する列は、無限に続く。いや続かなければならない。
一方、上記の「鉄道」だけでは、永遠にωは生成されない
>ZFCは、少なくともカントールの集合論を包含すべし。
チャット君の集合論は、BC(Before Cantor)
>つまり、無限集合を創造できなければならない
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s