Elementary Geometry
In 19XX, X, X and Tarski created an axiomatization of geometry encompassing much of standard Euclidean geometry. This axiomatization is known as Elementary geometry, or Tarskian Geometry, and is the subject of this portion of the website.
Table of Contents
- Introduction
- Baby Geometry
- Formal systems and Formal Proofs
- Elementary Geometry as a First-order Theory
- Axiomatic Development
- Axioms
- Congruency Properties
- Betweenness Properties
- Metalogical Properties