有理数を基にした実数の定義を知らないのか？
距離空間の完備化とか。