19/03/05 10:33:00.98 xYDWPnCx.net
>>867 訂正
非可算無限でも、非可算整列集合＝超限帰納法 （公理として同値）
は、言い過ぎかな
非可算無限では、非可算整列集合であることと、超限帰納法成立は同値
くらいにしておきます
自然数では、数学的帰納法を公理として採用する立場はある
しかし、基礎論として、超限帰納法を公理とする話はあまりない
（公理として採用できるか、出来ないかは、良く分からないが、上記程度でいいでしょう）
19/03/05 10:33:00.98 xYDWPnCx.net
>>867 訂正
非可算無限でも、非可算整列集合＝超限帰納法 （公理として同値）
は、言い過ぎかな
非可算無限では、非可算整列集合であることと、超限帰納法成立は同値
くらいにしておきます
自然数では、数学的帰納法を公理として採用する立場はある
しかし、基礎論として、超限帰納法を公理とする話はあまりない
（公理として採用できるか、出来ないかは、良く分からないが、上記程度でいいでしょう）