ダメ出しをお願いします


「任意の自然数は0より大きいことを証明せよ」

任意の自然数を n とおき、n>0 が成り立つことを示せばよい。
n>0 が成り立つと仮定すると
n+1>n>0 となって n+1>0 が成り立つ。
∴n>0 ならば n+1>0　…①

n=1であるとき、
①より 1+1=2>0 が成り立つ。
2>0が成り立つので 2+1=3>0 が成り立つ。
同様に繰り返していくと、
nがどんな自然数の値をとる場合でも n>0 が示されることになる。
よって示された。