- 623 名前：１３２人目の素数さん mailto:sage [2021/10/25(月) 19:20:28.52 ID: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*とかの
*(順序数)の部分を階数と考えていいんだぞ
フォン・ノイマン宇宙と
（ゲーデルの）構成可能集合
のところ読み直せ
フォン・ノイマン宇宙
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
だから、何度もいうけど、
理解しないままコピペしても無駄だぞ
何がしたいの？
|
 |
