ではこちらからも問題を出してやろう
問題　実数体Rを既知として、自然数全体の集合Nを構成せよ。
ヒント　Nにおいて数学的帰納法が成立しなければならない。