[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
703(1): 2019/12/08(日)11:23 ID:9rv1hojT(9/14) AAS
>>701
フォンノイマン版もツェルメロ版も同値だけどね
どっちか一方を公理とすれば、他方は証明できる
対応の関数を構成すればいいだけ
704(1): 2019/12/08(日)11:43 ID:qHcJ5sAq(1/2) AAS
>>703
無限公理についてZermelo晩とNeumann版が同値であるのはいい。
数学をちゃんと勉強した人間ならまぁ何分か考えたらわかる。
なのでいちいち照明しなくてもいい。
問題なのはスレ主がそれをわかってないという所。
特に今問題になってるのはスレ主のΩがほんとに通常のZFCで定義できるか議論してるんだから、
なにが公理で無条件に認めていいのか、何が定理で証明しないといけないのかは通常の状況より厳しく問われている。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s