19/10/02 10:49:23.13 G/S4NbBk.net
下記が正確かどうかわからんが、貼る（＾＾
現代数学の無限観を反映していると思うから
なお”最も小さい無限基数であるアレフ0(=ω)は、この3つの性質を全て備えている。「有限基数の次の基数は有限」「有限集合の巾集合は有限」「有限基数の増大列で有限の長さのものの和集合は有限」なので。ZFCに無限公理の導入が必要だったのは、アレフ0がこの性質を持っていたため”だって（＾＾
URLﾘﾝｸ(lemniscus.)はてなブログ（URLがNGらしいのでぐぐれｗ）
再帰の反復blog
2012-06-16
反復的集合観と公理的集合論
(抜粋)
反復的集合観とZFCについて
目次
素朴集合論
・
・
到達不能基数
9. 到達不能基数
置換公理によって「果てしなく続く段階」や濃度の非常に大きな集合の存在が出てくるのだけど、さらに「その先」を考えることもできる。
濃度(無限の大きさ)について考える。
ZFCでは、濃度の小さい集合からそれよりも濃度の大きい集合を手に入れる方法として次の3つがある。
1.「次の大きさの濃度」を取る。
2.巾集合を取る。
3.置換公理を使って濃度の増大列からなる集合を作り、その和集合を取る。
そしてこれらに対応して次の3つの性質が考えらえる。
1.極限基数: 1で得られないタイプの無限
2.強極限基数: 2で得られないタイプの無限
3.正則基数: 3で得られないタイプの無限
(ZFCでは連続体仮説が成り立つかどうか決まらないために、1と2が違うのかどうかは決まらない)
最も小さい無限基数であるアレフ0(=ω)は、この3つの性質を全て備えている。「有限基数の次の基数は有限」「有限集合の巾集合は有限」「有限基数の増大列で有限の長さのものの和集合は有限」なので。ZFCに無限公理の導入が必要だったのは、アレフ0がこの性質を持っていたため。
そしてアレフ0より大きい基数で1・3を満たす基数を弱到達不能基数、1・2・3を満たす基数を(強)到達不能基数と呼ぶ。
到達不能基数は(たとえ存在していたとしても)ZFCの道具立てでは得ることができない。
もしも到達不能基数の存在を認めてその存在を公理として置けば、置換公理で保証されたよりもさらに先まで「果てしない段階」が続くことになる。