[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

34(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:20 ID:JrhjRl4x(15/46) AAS
>>30
どうも、ありがとう

>しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？

あなたは、なかなか誠実な人ですね
よく分かりました

>あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。
>論理式を用いて正確に定義してください。
省11

---

39: 2019/10/05(土)12:46 ID:kZwmbLNI(18/44) AAS
>>34
＞{・・{}・・}と、多重かつ可算無限（厳密には最小のω）に{}が重なった集合
＞が存在しうるかどうか？私は、存在しうると考えています

１．「存在しうる」が「ZFCで証明できる」の意味なら、
　ZFCでの証明を示しましょう。
２．「存在しうる」が「ZFCと矛盾しない」の意味なら
　最低でも上記の証明の存在を示す公理となる論理式を示しましょう
省7

---

41: 2019/10/05(土)12:55 ID:kZwmbLNI(20/44) AAS
>>32
＞定義も、準備が必要なんです
>>34
＞そうあせらないで

ろくに定義もせずに、あせって
{{…{}…}}（{}の多重無限）
と書いたのは◆e.a0E5TtKEさん、あなたです
省3

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.034s