Tarski Geometry
In 19XX, X, X and Tarski created a first order theory encompassing much of eucldiean geometry. This section of the website is an exploration of this axiomatization.
In 19XX, X, X and Tarski created a first order theory encompassing much of eucldiean geometry. This section of the website is an exploration of this axiomatization.