Hilbert's axioms

rdf:langString Hilberts Axiomensystem der euklidischen Geometrie

rdf:langString David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen, zwischen und kongruent. Über die Natur dieser „Dinge“ und auch ihrer „Beziehungen“ macht Hilbert als Formalist keinerlei Annahmen. Sie sind ausschließlich implizit definiert, nämlich durch ihre Verknüpfung in einem Axiomensystem. Hilbert soll einmal gesagt haben, man könne statt „Punkte, Geraden und Ebenen“ jederzeit auch „Tische, Stühle und Bierseidel“ sagen; es komme nur darauf an, dass die Axiome erfüllt sind. Allerdings hat er große Mühe darauf verwandt, dass seine „Tische, Stühle und Bierseidel“ all die Gesetzmäßigkeiten erfüllen, die die Geometer der vorhergegangenen zweitausend Jahre für „Punkte, Geraden und Ebenen“ herausgefunden haben. Die Stärke der axiomatischen Vorgehensweise liegt nicht darin, dass sie von der Wirklichkeit absieht. Sie erlaubt es aber, durch Abänderung der Axiome und Analyse ihres Zusammenhangs die logische Struktur, der diese Wirklichkeit folgt, in einer vorher nicht denkbaren Weise zu durchleuchten. Auf ein gegenüber dem Hilbertschen System abgeschwächtes Axiomensystem ohne Parallelenaxiom lässt sich die absolute Geometrie begründen: Dort gibt es dann entweder keine Parallelen (elliptische Geometrie) oder durch einen Punkt außerhalb einer Geraden beliebig viele Parallelen (hyperbolische Geometrie). Die hyperbolische Geometrie erfüllt Hilberts Axiomengruppen I–III und V, die elliptische Geometrie I, II und V und eine schwächere Version der Kongruenzaxiome (III).