Оскільки ми винайшли фундаментальну послідовність раціональних чисел, яка не має границі серед раціональних чисел, метричний простір не є повним. Одне із класичних означень дійсних чисел — вони є поповнення раціональних чисел, (див. вище).