>>222
全ての自然数を数え上げることは明らかに不可能なのだから、そのようなチェックポイントに番号付けをすることは有限回までしか行えないと考えるのが自然ではないか