21/10/25 19:20:28.52 hsOsnSo2.net
なんか闇雲に検索してるみたいだけど
>>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*とかの
*(順序数)の部分を階数と考えていいんだぞ
フォン・ノイマン宇宙と
（ゲーデルの）構成可能集合
のところ読み直せ
フォン・ノイマン宇宙
URLﾘﾝｸ(ja.wikipedia.org)
構成可能集合
URLﾘﾝｸ(ja.wikipedia.org)
>>559
だから、何度もいうけど、
理解しないままコピペしても無駄だぞ
何がしたいの？