Что будем искать?

Теория вещественных чисел*

Пополнение прямой. Сечения Дедекинда. Зачем это нужно.