История изменений
Исправление Axon, (текущая версия) :
Вещественные числа можно вводить как класс эквивалентности последовательностей рациональных чисел, таких, что разница любых двух последовательностей из класса стремится к нулю.
Неважно как именно обозначать границы, сам факт их обозначения ставит вопрос «а что за ними?».
Исходная версия Axon, :
Вещественные числа можно вводить как класс эквивалентности последовательностей рациональных чисел, таких, что разница любых двух последовательностей из класса стремится к нулю.
Но этого никто не делает. Да и неважно как именно обозначать границы, сам факт их обозначения ставит вопрос «а что за ними?».