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