He criticized Euclid, seeking to show that deductions from the fundamental principles (Greek: ἀρχαί) of geometry cannot, on their own, be proved: admit the principles but deny that the propositions coming after the principles can be demonstrated unless they grant something that is not contained in the principles.
Han kritiserade Euklides och försökte visa att härledningar från geometrins fundamentala principer (ἀρχαί) inte kan bevisas i sig själva: godtar principerna, men förnekar att de propositioner som kommer efter principerna kan visas med mindre än att de innehåller något som inte finns i principerna.