Streckenatragen oder das Axiom vom Lineal

Fehlt noch was?

Wir wissen nun, dass eine offene Strecke $\overline{AB}$ die Menge aller Punkte ist, die zwischen $A$ und $B$ liegen. Vereinigt man diese Menge mit der Menge der beiden Endpunkte $A$ und $B$, so hat man die gesamte Strecke $\overline{AB}$. Zu unseren grundlegenden Vorstellungen von Strecken gehört, dass jede Strecke $\overline{AB}$ einen Mittelpunkt $M$ hat. $M$ wäre der Punkt auf $\overline{AB}$, der sowohl zu $A$ als auch zu $B$ denselben Abstand $\frac{|\overline{AB}|}{2}$ hat.