Eudoxus (408–355 BCE) and Theaetetus (417–369 BCE) formulated theorems but did not prove them.
Eudoxo (408-355 a.C.) e Teeteto (417-369 a.C.) formularon teoremas aínda que non os probaron.