Обоснование теории действительных чисел в курсе теоретической арифметики педагогических институтов