Geometry has made major contributions to modern infrastructure and design. Euclid of Alexandria systematized ancient Greek mathematics and geometry in his textbook "Elements", which described an axiomatic mathematical system using undefined terms, definitions, axioms, and theorems. In an axiomatic system, undefined terms are the building blocks used to define other terms, while axioms and postulates are statements assumed to be true without proof, and theorems are statements proven deductively from the axioms.