Definition:Tarski's Geometry

From ProofWiki
Jump to navigation Jump to search


Tarski's geometry is an axiomatic treatment of geometry.

Unless specified otherwise, $\mathsf{Pr} \infty \mathsf{fWiki}$ will use the term Tarski's geometry to be a formal systematic treatment of geometry containing only:

$(1):\quad$ The language and axioms of first-order logic, and the disciplines preceding it
$(2):\quad$ The undefined terms of Tarski's Geometry
$(3):\quad$ Tarski's Axioms of Geometry.

Also see

  • Results about Tarski's geometry can be found here.

Source of Name

This entry was named for Alfred Tarski.

Historical Note

Tarski's geometry was invented to treat the same subjects as Euclidean geometry, but entirely within the framework of first-order logic.