Allgemeine affine Geometrie

Zusammenfassung

(i) In diesem Abschnitt geht es nicht um eine bestimmte metamathematische Fragestellung oder Methode, sondern um die Anwendung verschiedener metamathematischer Methoden auf im wesentlichen eine bestimmte Geometrie, die für solche Anwendungen besonders geeignet ist, und zwar die (ebene) allgemeine affine Geometrie (“general affine geometry”) GA ₂, die von Szczerba u. Tarski 1965 eingeführt wurde. Viele Beweise können hier allerdings nur skizziert werden, andere werden ganz weggelassen — vor allem solche von rein geometrischer Art —, und es wird dann nur über die Ergebnisse berichtet.