- 26 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/01/15(日) 15:00:54.51 ID:3YFHDxHU.net]
- >>23 補足
下記 戸松玲治先生の 数学IB演習 No.6 問題ＰＤＦの「8 選択公理」を見て下さい
ここでは、ＺＦＣで、帰納法成立を選択公理に帰結させている
が、選択公理以外にもう少し弱い可算選択公理などもあるんだ
帰納法成立は、「無限の公理＋無限の公理を扱う例えば選択公理との合わせ技」ってとこかな
（因みに、ペアノの公理では、選択公理は登場しない。ここらは説明し出すときりがないので、自分で調べてね）
www.ma.noda.tus.ac.jp/
東京理科大 Top
