geometry based on Euclid's axioms: e.g., only one line can be drawn through a point parallel to another line