>>649
実数を構成するときに、有理数を完備化してんじゃないのか?