Definition:Tarski's Geometry
Jump to navigation
Jump to search
Definition
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.