なんか闇雲に検索してるみたいだけど

>>553
>(到達不能基数は)IUTのIVの後半の議論と関連している

宇宙の存在＝到達不能基数の存在
これ豆な　知らなかった？

>因みに、後半には”二階述語論理のZFCのモデル”の話もあるよ
>under ZFC it can be shown that κ is inaccessible
>if and only if (Vκ, ∈) is a model of second order ZFC.

「ZFCの下では、(Vκ, ∈)が二階ZFCのモデルである場合に限り、
　κが到達不能であることが示されます。」

で？何がいいたいの？
無限階論理としてのZFCを
二階論理上の公理系として
実現してても何の問題もないけど

論理、理解してる？

>>553-556
だから、何度もいうけど、
理解しないままコピペしても無駄だぞ
何がしたいの？

>>557
あのな、ノイマンのV*とかゲーデルのL*とかの
*(順序数)の部分を階数と考えていいんだぞ
フォン・ノイマン宇宙と
（ゲーデルの）構成可能集合
のところ読み直せ

フォン・ノイマン宇宙
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
構成可能集合
https://ja.wikipedia.org/wiki/%E6%A7%8B%E6%88%90%E5%8F%AF%E8%83%BD%E9%9B%86%E5%90%88

>>559
だから、何度もいうけど、
理解しないままコピペしても無駄だぞ
何がしたいの？