Eudoxus of Cnidus
Позже Евдокс Книдский упростил определение, равенство пропорций formula_26 им определялось как одновременное выполнение одной из трёх пар соотношений