A él se debe el "método de exhausción" - que puede ser considerado el logro más destacado de la matemática antigua- y, además, la teoría general de las magnitudes geométricas.