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 it was intended to treat the same subjects as Euclidean geometry, but entirely within the framework of first-order logic.