[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (802ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
39: 2019/10/05(土)12:46 ID:kZwmbLNI(18/44) AAS
>>34
＞{・・{}・・}と、多重かつ可算無限（厳密には最小のω）に{}が重なった集合
＞が存在しうるかどうか？私は、存在しうると考えています
１．「存在しうる」が「ZFCで証明できる」の意味なら、
ZFCでの証明を示しましょう。
２．「存在しうる」が「ZFCと矛盾しない」の意味なら
最低でも上記の証明の存在を示す公理となる論理式を示しましょう
省7
上下前次1-新書関写板覧索設栞歴
あと 763 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s