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

---

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

---

102(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)22:18 ID:JrhjRl4x(44/46) AAS
>>95
ありがとう
ええ、確かにそうです

ですが、その英文の記述は
{・・・{Φ}・・・}なる無限多重カッコ{}の集合を否定するものではないですよね

ツェルメロの自然数構成で、後者関数はあくまで、aに対して{a}ですからね
（下記の(a)と(b) とですね）
省12

---

175(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)16:07 ID:d8OQiN+r(20/27) AAS
>>102 追加
＞(b) the existence, for any object a, of the singleton set {a} which has a as its sole member; and

この”for any object a, of the singleton set {a}”
は、ZFCでは、対の公理だね
a → {a}が言える

（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省19

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s