In some versions of the axioms of Euclidean Plane Geometry you will find a “Ruler Postulate” (SMSG Postulate 3):

Previous slide Next slide Back to first slide View graphic version