自然数について
>　「他より大きいものが2個以上ある」
と仮定する。

他より大きいものが2個あり、それらを a,b(a≠b) とおく。
aは他より大きいから a>b
bは他より大きいから a<b
よって a>b かつ a<b
このことは自然数の全順序性と矛盾する
よって仮定は偽