Eudoxo (408-355 a. C.) y Teeteto (417-369 a. C.) formularon teoremas pero no los demostraron.