自然数の大小 いよいよ自然数の大小関係を再現します。その前に が成り立つことに注意します。実際 ならば前回の補題により なので となります。また、このことから直ちに が成り立つこともわかります。 さて とおいて、 が任意の自然数 について成り立つこ…