В наши дни мы называем этот подход методом исчерпывания.

Его величайшим вкладом в математику стало изобретение метода исчерпывания, при использовании которого теоремы выводились из простых аксиом, не требующих доказательства.

Евклид обязан ему большей частью своей пятой книги, если не всей целиком, вместе с так называемым методом исчерпывания, при помощи которого греки смогли решить множество задач по измерению бесконечно малых величин.