19/10/02 14:35:14.22 G/S4NbBk.net
到達不能基数までいくと
無限も面白すぎるよねｗ(゜ロ゜;
URLﾘﾝｸ(ja.wikipedia.org)
到達不能基数
(抜粋)
弱到達不能基数は Hausdorff (1908)、強到達不能基数は Sierpi?ski & Tarski (1930) および Zermelo (1930) によって導入された。
強到達不能基数は同時に弱到達不能基数でもある。一般連続体仮説が成り立つ場合は、強到達不能基数であることの必要十分条件は弱到達不能であることになる。
強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある。
モデルと無矛盾性
ZFCの下では、k が強到達不能であるときVk がZFCのモデルになる。 ZFの下では、k が弱到達不能であるときゲーデル宇宙のLk がZFCのモデルになる。 よって、ZF+"弱到達不能基数が存在する"はZFCが無矛盾であることを導き、不完全性定理よりその存在はZFCで証明できない。 つまり、到達不能基数は巨大基数の一種である。