[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
40(1): 10/10(金)00:00 ID:yQyjZawx(1/19) AAS
>>33
>なので、「無限公理あり」のみが 実質的に
>冪P(N)=2^N → 連続濃度集合Rが 構成できる ってことだ
しかしZF-Infinityのモデルで連続体濃度集合が存在するようなものの存在を否定できない。なぜならZFが無矛盾なら連続体濃度集合の存在とZF-Infinityは矛盾しないから（仮に矛盾するとしたらZFが矛盾していることになる）。
103(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/11(土)08:44 ID:CwzPU071(4/17) AAS
>>40 戻る
(引用開始)
>なので、「無限公理あり」のみが 実質的に
>冪P(N)=2^N → 連続濃度集合Rが 構成できる ってことだ
しかしZF-Infinityのモデルで連続体濃度集合が存在するようなものの存在を否定できない。なぜならZFが無矛盾なら連続体濃度集合の存在とZF-Infinityは矛盾しないから（仮に矛盾するとしたらZFが矛盾していることになる）。
(引用終り)
ここは中高一貫校生も来る可能性があるから
厳しく赤ペン先生しておくよ ；ｐ）
1）下記 渕野「無限の存在が集合論の他の公理から独立である」を認めよう
2）いま、簡単化のために、議論を無限公理に限定する
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s