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

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

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

---

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

---

575: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/03(火) 00:09:38.61 ID:BRqy0upZ >>574 つづき ノイマン 構成から、Zermelo 構成を抽出する集合の操作は 分出公理を使えば可 https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 公理的集合論 (抜粋) 分出公理 置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。 この公理は、論理式 ψ をパラメータとする公理図式である。 論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを {\displaystyle \{x\in X\mid \psi (x)\}}\{x\in X\mid \psi(x)\} で表す。 {\displaystyle \{x\in X\mid x\in Y\}}\{x\in X\mid x\in Y\} を {\displaystyle X\cap Y}X\cap Y で表す。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/575

576: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/03(火) 00:15:26.23 ID:BRqy0upZ >>575 補足 なお、順序数ωの数直線におけるモデルは、 　>>563で示した。なお>>568もご参照 以上 正則性公理？ Zermelo 構成がだめだと？ｗ だったら、ノイマン 構成もダメになるぞ それは矛盾であるｗｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1570237031/576

580: １３２人目の素数さん [] 2019/12/03(火) 06:22:00.19 ID:2OK0+uPO >>575 ＞ノイマン 構成から、Zermelo 構成を抽出する ＞集合の操作は分出公理を使えば可 じゃ、やってみせてくれ ありもしない「ωの一番右側の元」から ◆e.a0E5TtKEのいうZermelo構成の ウソΩとやらをどうやってデッチあげるのかね（嘲） http://rio2016.5ch.net/test/read.cgi/math/1570237031/580

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.043s