>>510
おれは、名前の議論はしない。だれか第三者に迷惑をかける可能性が有るからね

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

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

>実はZFCも無限階論理として解釈できる
>その場合の「階数」は到達不能順序数未満

その通りだが、”「階数」は到達不能順序数未満”つまりω未満(>>511) で、ある種の無限階になるってことだよね
あなた、そこが理解できて居なかったねｗｗｗ
（例 >>405より
珍説1（>>354より）
「＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列　０＜１＜・・・ω　という無限列があり得る」と
「＜上昇列　０＜１＜・・・＜ω　が有限列にしかなり得ない」は
両立する
(引用終り)）