[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

140(2): 2021/10/11(月)20:55 ID:DCHm/PTM(6/7) AAS
>>138
>>ツェルメロは後者関数としてa + 1 = { a }を使ってるので
>>その場合、無限公理で存在が認められる集合ωは
>>{{},{{}},{{{}}},{{{{}}}},…}
>違うでしょ。
>ツエルメロの1907ないし1908年の古い無限公理では、
>可算無限多重シングルトンを、彼は想定していますよ

違うけど

>This final axiom asserts the existence of an infinitely large set
>which contains the empty set, and for each set a that it contains, also contains the set {a}.
省14

---

142(4): 2021/10/12(火)08:00 ID:kAX38bAL(1/3) AAS
>>140-141
レスありがとうございます。
久し振りにレベルの高い人が来てくれたね
ありがとう

ご指摘の通りでした
Zermeloの1908年の原論文（pdf）を探して読んでみた
それが下記です

外部ﾘﾝｸ:eudml.org
EuDML
Untersuchungen uber die Grundlagen der Mengenlehre. I
省20

---

154(4): 2021/10/13(水)10:13 ID:q1aEYon0(1/10) AAS
>>149-153
>>一日考えてくれたんだね
>別人だけど…思い込み激しくね？

なんだ、おサルかい？ｗ
じゃあ、>>140-141のID:DCHm/PTM 氏の方は、納得したのかな？

（>>146より）
誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね？
(引用終り)

これ、おサルさん、自分の発言だったよ
省19

---

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

---

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

---

ぬこの手 ぬこTOP 0.057s