特殊論法って背理法と数学的帰納法しかないの？ (48ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
26(3): 01/15(水)16:37 ID:UGVTg2e8(1) AAS
>>21-22 ペアノの公理
５．任意の E ⊆ N について 0 ∈ E かつ任意の n ∈ N について n ∈ E → S(n) ∈ E ならば E = N
５が数学的帰納法
28: 01/15(水)16:53 ID:zEkLeAcw(5/6) AAS
>>26
あのね
５を自然数の定義（の一部）としてもよいし、定義をもっと緩めて５を定理として証明してもよい
分かるかなぁｗ
前者はちょっと野暮というかチートというか公理として盛り過ぎ感がある
36: 01/16(木)09:15 ID:19Yy+UoQ(1/2) AAS
>>26
>５を自然数の定義（の一部）としてもよいし
「としてもよい」ではなく自然数の定義という公理
>（５は）ちょっと野暮というかチートというか公理として盛り過ぎ感がある
君が自然数論の初歩から分かってないだけ 君、大学行ってないド素人？
37: 01/16(木)09:16 ID:19Yy+UoQ(2/2) AAS
>>26
> 定義をもっと緩めて５を定理として証明してもよい
証明できるもんなら証明して見せてくれる？
さあ、どうぞ！！！ 大言壮語のド素人君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.293s*