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

---

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

---

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

---

511(1): 2021/10/24(日)11:57 ID:ljh0ogmi(7/17) AAS
>>509
>ZFCも無限階論理として解釈できる
>その場合の「階数」は到達不能順序数未満

自然数論すなわち有限集合論も無限階論理として解釈できる
その場合の階数はω未満

---

512(2): 2021/10/24(日)13:24 ID:IwWQ/vZk(10/23) AAS
>>510
おれは、名前の議論はしない。だれか第三者に迷惑をかける可能性が有るからね

>>509
>一方型理論では無限に型がある　つまり無限階論理ｗ

そこは(>>505 再引用開始)
下記に、「ラッセルのパラドックス」を含む 自己言及のパラドックスの説明がある
その解決案の一つが、言語階層に制限をつけるという案
（注：ここの言語階層の階の定義と、second-order logicの”order”とは定義が違うことにご注意）
(引用終り)
だな。なお
省13

---

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

---

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

---

ぬこの手 ぬこTOP 0.050s