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