- 848 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/03/03(日) 15:19:29.72 ID:EsgE3U3K.net]
- >>773
つづき
２）整列原理と、数学的帰納法の原理は、同値（後述）
３）なので、可算選択公理 vs 整列原理 vs 数学的帰納法の原理（同値）の関係あり
akademeia.info/index.php?%BC%AB%C1%B3%BF%F4
Security Akademeia
自然数の整列性と数学的帰納法の原理の関係
(抜粋)
この自然数の整列と数学的帰納法の原理は同値である。
[定理]自然数の整列性←→数学的帰納法の原理
[証明]
略
(引用終り)
つづく
