[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
704(1): 2019/12/08(日)11:43 ID:qHcJ5sAq(1/2) AAS
>>703
無限公理についてZermelo晩とNeumann版が同値であるのはいい。
数学をちゃんと勉強した人間ならまぁ何分か考えたらわかる。
なのでいちいち照明しなくてもいい。
問題なのはスレ主がそれをわかってないという所。
特に今問題になってるのはスレ主のΩがほんとに通常のZFCで定義できるか議論してるんだから、
なにが公理で無条件に認めていいのか、何が定理で証明しないといけないのかは通常の状況より厳しく問われている。
省2
706(3): 2019/12/08(日)16:05 ID:qHcJ5sAq(2/2) AAS
トリップコピペするのすらめんどい。
スレ主以外のトリップはともかくスレ主で特定できるからいいでしょ？
おそらくスレ主が無限公理云々いうのは
・Neumann流の順序数を構成するには無限公理が必要だ。
・無限公理にはどうやらNeumann流とZermelo流のふたつあるらしい。
・なのでとりあえずZermelo流の無限公理よりってかいておくとそれらしくなるっぽい。
くらいの認識しかないんだろう。
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s