[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)

現代数学の系譜　カントル　超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

34: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/05(土) 12:20:36.75 ID:JrhjRl4x >>30 どうも、ありがとう >しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？ あなたは、なかなか誠実な人ですね よく分かりました >あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。 >論理式を用いて正確に定義してください。 >でなければそもそも議論が始まりません。 いや、>>32に書いたけど そうあせらないで 定義の前に、{・・{}・・}と、多重かつ可算無限（厳密には最小のω）に{}が重なった集合が存在しうるかどうか？ 私は、存在しうると考えています もし、存在できないとすれば、存在を規制する公理が存在するべき それは、正則性公理ですか？ まず、存在しうるか否か それを決着させましょうよ（＾＾ なんか、存在し得ないという反論側が、「要素が分からない」とか云々とか横道へ その前に、どの公理に反するのかと、その公理をどう適用して存在しないことを主張するのかを明確に（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1570237031/34

39: １３２人目の素数さん [sage] 2019/10/05(土) 12:46:04.35 ID:kZwmbLNI >>34 ＞{・・{}・・}と、多重かつ可算無限（厳密には最小のω）に{}が重なった集合 ＞が存在しうるかどうか？私は、存在しうると考えています １．「存在しうる」が「ZFCで証明できる」の意味なら、 　ZFCでの証明を示しましょう。 ２．「存在しうる」が「ZFCと矛盾しない」の意味なら 　最低でも上記の証明の存在を示す公理となる論理式を示しましょう ＞存在できないとすれば、存在を規制する公理が存在するべき ＞それは、正則性公理ですか？ Ω＝{・・{}・・}、Ω＝{Ω}という形で 安直に実現するなら正則性公理に反します 他の方法があるなら示してほしいですね ＞まず、存在しうるか否かそれを決着させましょうよ 数学として間違った態度ですね http://rio2016.5ch.net/test/read.cgi/math/1570237031/39

41: １３２人目の素数さん [sage] 2019/10/05(土) 12:55:00.29 ID:kZwmbLNI >>32 ＞定義も、準備が必要なんです >>34 ＞そうあせらないで ろくに定義もせずに、あせって {{…{}…}}（{}の多重無限） と書いたのは◆e.a0E5TtKEさん、あなたです あせらないで、書き込みせずに考え続けたら如何ですか？ その間、このスレッドは、我々が有効に使わせていただきますから 御心配なく http://rio2016.5ch.net/test/read.cgi/math/1570237031/41

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.030s