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

---

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

---

92(2): 2021/10/10(日)08:59 ID:L2JS9lGy(1/18) AAS
>>84
>>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
>集合の公理を満たさないことがわからんかね？ｗ
>>一番外の{}が分からない

おサル必死ｗ
1．可算多重シングルトン {{・・{{}}・・}}が、仮に正則性公理を満たさないとしても、
　”non-well-founded set theory”（下記）もあるから、存在しうるよ
2．後者関数(>>62) f({{・・{{}}・・}}n)＝{{・・{{}}・・}}n+1 ここに、{{・・{{}}・・}}nは、n重シングルトンで、後者関数はn+1重を与える
　lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω と出来るよ
（前提として、ノイマン構成などで自然数の集合 n∈N が出来上がっていればだが）
省31

---

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

---

あと 910 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.044s