Именно тот факт, что равенство отношений определяется Ев-доксом с помощью бесконечного множества неравенств типа 1) ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Глейзер Г.И.
История математики в школе
Именно тот факт, что равенство отношений определяется Ев-доксом с помощью бесконечного множества неравенств типа 1) или 3), вызывал много трудностей для понимания его теории, предвосхитившей теорию вещественных чисел Дедекинда. С помощью метода исчерпывания Евдокс строго доказал, что объем пирамиды равен 1 / 3 объема призмы с тем же основанием и высотой и другие предложения.