Euclid laid it all out as a logical system of proof built up from a set of definitions, common notions, and his five famous postulates.
Euclide a tout décrit  comme un système logique de preuves construit à partir  d'un ensemble de définitions, de notions générales, et ses cinq fameux axiomes.