Sur l'axiome planaire de M. \textit{Peano}. (Q1482299): Difference between revisions

Im \textit{Peano}schen System lautet das ebene Axiom der Anordnung folgendermaßen (s. z. \textit{B. Schur}, Grundlagen der Geometrie, 6. Postulat): Wenn \(\overline{A,\,B,\,C}\) irgend drei nicht in gerader Linie gelegene Punkte sind, \(D\) ein Punkt der Strecke \(\overline{BC}\) und \(E\) ein Punkt der Strecke \(\overline{AD}\), dann gibt es einen der Strecke \(\overline{AC}\) angehörigen Punkt \(F\) der Geraden \(BE\) derart, daß \(E\) auf der Strecke \(\overline{BF}\) liegt. Der Verf. behauptet nun, daß diese letzte Eigenschaft (\(E\) zwischen \(B\) und \(F\)) aus dem ersten Teil des Axioms in Verbindung mit den früheren Axiomen beweisbar ist. Der Beweis ist jedoch so, wie er da steht, unvollständig (es wird nicht gezeigt, daß \(F''\) von \(G\) verschieden sein muß), so daß ich nicht weiß, ob die Behauptung richtig oder falsch ist.