An axiomatic basis for plane geometry. (Q2622144)

\textit{Hilbert} hat im Anhang IV seiner ``Grundlagen der Geometrie'' (7. Aufl., 1930; F. d. M. \(56_{\text{I}}\), 481-482) eine im wesentlichen mit mengentheoretischen Hilfsmitteln operierende Begründung der ebenen euklidischen und \textit{Lobatschefsky}schen Geometrie gegeben. Er stellt drei Axiome an die Spitze, die die Gruppen der euklidischen und \textit{Lobatschefsky}schen Bewegungen kennzeichnen. Verf. vereinfacht den \textit{Hilbert}schen Beweis, indem er von vornherein auf die Kennzeichnung der durch die Spiegelungen erweiterten Gruppen der kongruenten Abbildungen ausgeht. Er behält \textit{Hilbert}s Axiom I im wesentlichen bei. Weiter genügt es ihm, \textit{Hilbert}s Axiom III in etwas abgeschwächter Form anzunehmen. Wesentlich neu ist sein zweites Axiom: ``Wenn \(A\) und \(B\) zwei Punkte der Ebene sind, dann gibt es eine kongruente Abbildung, welche \(A\) und \(B\) fest läßt und den Drehsinn der Ebene umkehrt.''