- 700 名前：現代数学の系譜 工学物理雑談 古典ガロア理論も読む mailto:sage [2017/09/16(土) 20:01:03.54 ID:KRHwrxLG.net]
- >>632
>数学的帰納法の適用対象は自然数で付番できるものに限られます。
>同値類の濃度は連続体濃度だから数学的帰納法は適用できません。
“一致番号”を導入して、可付番にして、数学的帰納法の適用対象にしました（>>580の通り）
なお、連続体濃度なら、超限帰納法ですね。それは、下記坪井先生のPDFに有るとおりです。
”数理論理学II 09 年講義ノート 坪井明人先生 筑波大 www.math.tsukuba.ac.jp/~tsuboi/gra/logic10.pdf のP12 定理36 （ウルトラフィルターの存在）証明”（>>583）です
