特殊論法って背理法と数学的帰納法しかないの？

特殊論法って背理法と数学的帰納法しかないの？ (48ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

28: 01/15(水)16:53:56.13 ID:zEkLeAcw(5/6) AAS
>>26
あのね
５を自然数の定義（の一部）としてもよいし、定義をもっと緩めて５を定理として証明してもよい
分かるかなぁｗ
前者はちょっと野暮というかチートというか公理として盛り過ぎ感がある