Abstract

. This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabh auser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry. In his 1926--27 lectures at the University of Warsaw, Alfred Tarski gave an axiomatic development of elementary Euclidean geometry, the part of plane Euclidean geometry that is not based upon set-theoretical notions, or, in other words, the part that can be developed within the framework of first-order logic. He proved, around 1930, that his system of geometry admits elimination of quantifiers: every formula is provably equivalent (on the basis of the axioms) to a Boolean combination of basic formulas. From this theorem he...

Citations