22/12/16 12:56:08.23 aOlVfIdq.net
自然数について
> 「他より大きいものが2個以上ある」
と仮定する。
他より大きいものが2個あり、それらを a,b(a≠b) とおく。
aは他より大きいから a>b
bは他より大きいから a<b
よって a>b かつ a<b
このことは自然数の全順序性と矛盾する
よって仮定は偽
22/12/16 12:56:08.23 aOlVfIdq.net
自然数について
> 「他より大きいものが2個以上ある」
と仮定する。
他より大きいものが2個あり、それらを a,b(a≠b) とおく。
aは他より大きいから a>b
bは他より大きいから a<b
よって a>b かつ a<b
このことは自然数の全順序性と矛盾する
よって仮定は偽