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.