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.
Eclides colocou isso tudo como um sistema lógico de prova, construído por um conjunto de definições, noções comuns e seus cinco famosos postulados.