Ein System von Postulaten, welche die euklidische Geometrie definieren. (Q1507530)

Ein äußerst lesenswerter Versuch, ein System von Definitionen und Postulaten aufzustellen, aus dem die \textit{Euklid}ische Geometrie streng formell entwickelt werden kann. Zwar begnügt sich der Verf. hier damit, den Gedankengang und die wichtigsten Momente einer beinahe vollendeten ausführlichen Arbeit über den Gegenstand kurz darzulegen; aber was er gibt, ist hinreichend, um zu erkennen, daß\ seine Postulate wirklich, wie er behauptet, in dem Sinne von einander unabhängig sind, daß\ keines von ihnen mit Hülfe der übrigen bewiesen werden kann, und er macht entschieden den Wunsch rege, auch die ausführliche Darstellung seiner Untersuchungen kennen zu lernen. -- In einer Reihe von Definitionen werden die Begriffe Mannigfaltigkeit von Elementen, Bewegungen einer Mannigfaltigkeit, Entfernung zweier Elemente, Raum und Punkte eines Raumes aufgestellt. Sodann werden rein formell auf analytischem Wege gewisse, sicher von einander verschiedene Räume (im ganzen zehn) charakterisiert. Nun werden nach und nach sieben Postulate aufgestellt, deren Berechtigung sich daraus ergibt, daß\ einzelne jener Räume Eigenschaften zeigen, die den andern fehlen. Jedes neue Postulat scheidet auf diese Weise unter allen möglichen Räumen eine gewisse Klasse von Räumen aus, die durch dieses Postulat in Verbindung mit den vorhergehenden vollständig definiert ist und für die sich gewisse Sätze beweisen lassen; zugleich wird durch jedes neue Postulat mindestens einer der noch übrig gebliebenen unter jenen zehn Räumen ausgeschlossen. Zuletzt bleiben nach Hinzufügung des siebenten Postulates nur noch die Räume übrig, in denen die \textit{Euklid}ische Geometrie gilt.