Ко множеству рациональных чисел следует добавить множество иррациональных чисел. Тогда мы получим полноценную прямую.
Множество рациональных чисел счетно, а действительных - несчетно. Как раз не хватает иррациональных, чтоб получить наши действительные числа.