>>136
え?どこで?別に問題ないんじゃないの?
普通の本では自然数定義していないでしょう?