>>205
>強到達不能基数κの定義に「ZFCから存在を証明できない基数」と限定を入れることにするよ
不要。
「ZFCから存在を証明できない基数」は事実だから。
実際、VκはZFCのモデルとして十分な大きさを持っており、「ZFCから存在を証明できる基数」と仮定すると、
ZFCが矛盾している、完全性定理が間違っている、不完全性定理が間違っている、のうち少なくとも一つが成立する。

>強到達不能基数 κは・・・ノイマン宇宙Vの"内"に存在しえない
大嘘。
「VはZFCから存在証明可能な集合しか持たない」と思ってるらしいがそれが大間違い。
ユークリッド幾何学のモデルR^2はユークリッド幾何学から存在証明不可能な点を持っている。仮にそうでないとすると作図可能数体^2がユークリッド幾何学のモデルであることと矛盾する。この論理が君に分かるか？

>そう定義された 基数だということ（定義の気持ちを考えようね）
妄想。

>再度強調すると
間違いを何度強調しても間違い

>ノイマン宇宙Vは あくまで 「ZFCから証明可能な集合のみを含む」と限定する
勝手な限定はダメ

>（この限定を入れないと 議論が発散するから）
議論が発散するからではなく、自分の妄想が正しいことにしたいからだろ？