[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋7 (1002ﾚｽ)

スレタイ 箱入り無数目を語る部屋7 http://rio2016.5ch.net/test/read.cgi/math/1674744315/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

42: １３２人目の素数さん [] 2023/04/03(月) 15:52:37.17 ID:tfbTcgqZ >>41 追加引用 >構成的集合論（英語版） 下記に、Constructive set theory 構成的集合論（英語版）での 選択公理 Axiom of Choice に関する記述があります なお、個人的には、>>35の Sergiu Hart氏のgame2が（フルパワーの）選択公理を使わない版なので ”選択公理と今回の時枝記事のトリックとの関連は薄いのでは”と考えています （参考） https://en.wikipedia.org/wiki/Constructive_set_theory Constructive set theory Imposed restrictions on a set theory Compared to the classical counterpart, one is generally less likely to prove the existence of relations that cannot be realized. Adopting the standard definition of set equality via extensionality, the full Axiom of Choice is such a non-constructive principle that implies PEM for the formulas permitted in one's adopted Separation schema, by Diaconescu's theorem. Similar results hold for the Axiom of Regularity in its standard form, as shown below. http://rio2016.5ch.net/test/read.cgi/math/1674744315/42

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.067s