> 砂が一粒
> →砂山ではない
> たとえば砂が一万粒で砂山と呼べるとする
> ここから一粒取り除く。九千九百九十九粒は砂山でないのか？
> →まだ砂山
> n粒が砂山であるとき、n-1粒が砂山であるということになる。
> この作業を繰り返すと、帰納的に一粒も砂山になってしまう。

最初から質問形態を取らず説明したならそう書けばいいやん
めんどくさい子だなぁ(;´Д`)

参考：2011/03/05(土)13時11分03秒