19/03/05 12:44:19.36 WAlk2uB5.net
>>873
>数学的帰納法とか超限帰納法を公理とすると、
>それは公理としてはちょっとシンプルさに欠ける
何わけわかんないこといってんだ？このアホｗ
集合論における公理の設定なんて自由にできる
例えばかの有名なゲーデルはZFに
「すべての集合は構成可能集合である」
という公理を追加すれば、そこから
選択公理も一般連続体仮説も導ける
ことを示した
いっとくが構成可能集合のなかには
当然超限順序数も含まれている
何度でも繰り返し傷口に塩を刷り込んでやるがｗ
超限順序数の構成自体に選択公理は必要ない