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.
Euklides przedstawił logiczny system dowodu, oparty na definicjach, pojęciach wspólnych i pięciu słynnych postulatach.