>>329
>（到達不能基数は、その定義からして ZFC内での証明を拒否しているから 証明できると思う人皆無だ）
ZFCから強到達不能基数κの存在は証明不可能。
ZFCが無矛盾との前提で、仮にZFCからκの存在証明が可能なら、ZFCのモデルであるVκの存在をZFCから証明できることになり、完全性定理よりZFCの無矛盾性をZFCから証明できることになるが、それは不完全性定理に反する。