19/03/03 15:19:29.72 EsgE3U3K.net
>>773
つづき
２）整列原理と、数学的帰納法の原理は、同値（後述）
３）なので、可算選択公理 vs 整列原理 vs 数学的帰納法の原理（同値）の関係あり
URLﾘﾝｸ(akademeia.info)
Security Akademeia
自然数の整列性と数学的帰納法の原理の関係
(抜粋)
この自然数の整列と数学的帰納法の原理は同値である。
[定理]自然数の整列性←→数学的帰納法の原理
[証明]
略
(引用終り)
つづく
19/03/03 15:19:29.72 EsgE3U3K.net
>>773
つづき
２）整列原理と、数学的帰納法の原理は、同値（後述）
３）なので、可算選択公理 vs 整列原理 vs 数学的帰納法の原理（同値）の関係あり
URLﾘﾝｸ(akademeia.info)
Security Akademeia
自然数の整列性と数学的帰納法の原理の関係
(抜粋)
この自然数の整列と数学的帰納法の原理は同値である。
[定理]自然数の整列性←→数学的帰納法の原理
[証明]
略
(引用終り)
つづく