>>791
(引用開始)
>到達不能基数κを認めてしまえば、
>それは ZFCの外の存在になりZFCの中には 矛盾を生じない!
全くの誤り
到達不能基数κ(の存在)を認めてしまえば、
それ(κ)は ZFCの”内”の存在になり、
しかもZFCの中には 矛盾を生じない
つまり、κが順序数の中にあるのかないのか、ZFCでは決定不能
(引用終り)

公理系としてのZFCと
ZFCのモデルとしてのノイマン宇宙Vと
を混同している
到達不能基数κは、ノイマン宇宙Vの外
到達不能基数κを 公理として ZFCの中に 取り入れても 直ちには 矛盾は生じない
しかし、真に無矛盾か否かは
ZFCでは証明できない(不完全性定理より)