Definition:Tarski's Geometry

Definition
Tarski's geometry is an axiomatic treatment of geometry.

Unless specified otherwise, 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.

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