>  2011/03/05 (土) 13:12:15        [qwerty]
> 砂が一粒
> →砂山ではない
> たとえば砂が一万粒で砂山と呼べるとする
> ここから一粒取り除く。九千九百九十九粒は砂山でないのか?
> →まだ砂山
> n粒が砂山であるとき、n-1粒が砂山であるということになる。
> この作業を繰り返すと、帰納的に一粒も砂山になってしまう。

いいえ

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