>>167
実数体Rは、自然数全体の集合Nでもいいな。