分からない問題はここに書いてね 472 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
631(1): 02/09(日)02:12 ID:BnvKFdb2(1/3) AAS
斎藤毅著『集合と位相』
自然数 N の元を
0 := ∅
1 := P(0)
2 := P(P(0))
3 := 2 ∪ {2}
4 := 3 ∪ {3}
省9
634: 02/09(日)16:07 ID:jNhGpdNM(1/2) AAS
>>631
数学の証明は我々が「普通」正しいと考える方法で行われ
その中には数学的帰納法も含まれています
ここで期待されているのは
公理的集合論の枠組みの中で構築した自然数のモデルである集合Nが
期待する性質を持つことを示すということで
数学的帰納法を使っても良いことが暗黙のうちに仮定されているということでしょうね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.410s*