Towards an Independent Version of Tarski's System of Geometry

Pierre Boutry, Stéphane Kastenbaum, Clément Saintier

In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabhäuser, Szmielew and Tarski in 1983. The differences amou…