>>49
>では、到達不能とは なんなのじゃ？ と問えば
>それは、2^R とか 集合べきを ZFCの中で 超限回繰り返す その外に
>おわします 神の基数なり！
はい、大間違いです。
到達不能基数とは非可算かつ正則基数かつ極限基数、特に強到達不能基数とは到達不能基数かつ強極限基数のことです。定義を確認しましょう。数学の基本中の基本ですよ。
ZFCから到達不能基数κの存在証明が不可能な理由は、
上記の定義からVκがZFCのモデルとなるための十分な大きさを持っており、仮に証明可能とすると完全性定理および不完全性定理と矛盾するためです。
べき操作の超限回繰り返しうんぬんはまったく関係ありません。定義を確認しないからそのような妄想に走るのです。