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

---

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

---

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

---

115(1): Mara Papiyas ◆y7fKJ8VsjM 2021/10/10(日)15:29 ID:WvyKzuhg(16/18) AAS
>>113
>保存拡大は、二つの論理系(mathematical logic)について言うもものだが
>無限シングルトンの話は、一つの公理系中で完結するから、
>基本的に保存拡大とは無関係だよ

アルェー、お🐒のSET A君　今日の08:59:29.44に　
>>92でなんて書いたかもう忘れたの？ｗ

>1．可算多重シングルトン {{・・{{}}・・}}が、
>　仮に正則性公理を満たさないとしても、
>　”non-well-founded set theory”もあるから、
>　存在しうるよ
省9

---

116(1): 2021/10/10(日)16:26 ID:L2JS9lGy(13/18) AAS
>>115
（引用開始）
ZFCという”well-founded set theory”では存在しないが
”non-well-founded set theory”では存在する、といってるよね
つまり「一つの公理系中で完結」してないよね？
（引用開始）

”存在する”といってねーよ、”存在しうる”で。下記だよ
1．正確には、シングルトンの後者関数の極限で lim n→∞ で、{{・・{{}}・・}}ω と出来るってこと
2．無責任だが、{{・・{{}}・・}}ω がどういう性質を持っているか？　あるいは、持たせるべきか？ それは、誰か考えればいいべ
3．”可算多重シングルトン {{・・{{}}・・}}が、仮に正則性公理を満たさないとしても”は、あくまで百歩譲ってという仮定の話で、だれも未証明だよ
省6

---

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

---

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

---

ぬこの手 ぬこTOP 0.031s