Sur la ligne droite et les parallèles d'Euclide. (Q1458084)

``Die Unbequemlichkeiten der gewöhnlichen Theorie der euklidischen Geraden führen uns dazu, dieselbe durch ein einziges Postulat zu spezifizieren. dasjenige der Krümmung Null. Wir stellen hierzu ein neues System von Axiomen auf das den Geraden der drei Hauptmetriken entspricht. Es werden dabei die Begriffe von Punkt, Entfernung und Perpendikularität getrennt: für die Parallelentheorie kommen noch die Kongruenz- und Stetigkeitsaxiome hinzu.'' Der Sinn der Axiome ist nun: I. Existenz von Punkten. II. Eindeutiger Distanzbegriff. III. Eindeutigkeit von \(a\gtreqqless b\) für zwei Entfernungen. IV. Definition der Geraden: zu je dreien ihrer Punkte gibt es keinen vierten auf ihr mit gleichen Entfernungen von jenen. V. Existenz innerer, VI. äußerer Punkte zu einer Geraden. VII. Existenz des Lotes als Distanzminimums. VIII. Krümmungspostulat.