>>802
>公理系としてのZFCと
>ZFCのモデルとしてのノイマン宇宙Vを
>混同している

？

>到達不能基数κは、ノイマン宇宙Vの外

なぜそういえる？いえないよな
Vの中の順序数がすべて到達可能な基数だ
なんていえないんだから
いえないことをいえると思うのは・・・妄想

＞到達不能基数κを 公理として ZFCの中に 取り入れても 直ちには 矛盾は生じない
＞しかし、真に無矛盾か否かはZFCでは証明できない

？　頭大丈夫？
矛盾が生じないならそういうモデルが存在する
それが一階述語論理の完全性定理の帰結

「真に無矛盾か否か」の意味が不明
モデルが存在するなら、無矛盾だよ
もし、ZFC+κが矛盾するかもしれないというなら
ZFCが矛盾するかもしれない、つまり
Vなんて存在しないかもしれない
というのと同じ