"Евдоксовы" вещественные числа

[viktorpetrov]

Устали от сечений по Дедекинду? Надоели последовательности Коши? Выход есть!

https://ncatlab.org/nlab/show/Eudoxus+real+number