Андрей Орехов

Аксиоматическое определение множества вещественных чисел