現代数学の系譜11 ガロア理論を読む19

現代数学の系譜11 ガロア理論を読む19at MATH

現代数学の系譜11 ガロア理論を読む19 - 暇つぶし2ch367:現代数学の系譜11 ガロア理論を読む
16/06/04 05:38:02.03 CtkyGlEO.net
>>343 つづき
正直、数学的帰納法 wikipedia の説明では、 ZFC >>339 の公理系との繋がりがいまいち見えないけど
選択公理を使うというのは、分かる。>>343の通り
ZF公理系の中では、やはり主に>>341の「無限公理」を使っているんだろう。
というか、有限集合相手なら、うるさく「公理」を問う必要なしだから

次ページ

続きを表示

1を表示