有理数の完備化
本はありません。