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.
Euclides estabeleceu tudo  num sistema lógico construído a partir dum conjunto  de definições, noções comuns, e dos seus cinco famosos postulados.