いよいよ、自然数に大小を定義したいのですが、その前に、一つ補題を示します。 補題 任意の自然数 について *1 (証明) とおく。 と はともに偽だから、 はともに真。 を示す。 ならば である。 ならば により であるから、 により、いずれの場合も が成り立…