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.
Он разработал логическую систему доказательств, выстроенных из набора определений, общих принципов и пяти известных постулатов.