Математика в деталях: Обозначение множества действительных чисел