21
правка
Изменения
м
→Неполнота числовой оси
В любом вещественном интервале <tex> (a, b) : (x: a < x < b) </tex> найдется рациональное число.
Для нас этот факт важен тем, что он гарантирует единственность пополнения <tex> \mathbb Q </tex> для выполнения аксиомы непрерывности.
Любое такое пополнение, независимо от модели, приводит к множествам, изоморфным друг другу.
