砂が一粒
→砂山ではない

たとえば砂が一万粒で砂山と呼べるとする
ここから一粒取り除く。九千九百九十九粒は砂山でないのか？
→まだ砂山

n粒が砂山であるとき、n-1粒が砂山であるということになる。
この作業を繰り返すと、帰納的に一粒も砂山になってしまう。