Category:Tarski's Geometry

Tarski's Geometry is an axiomatic treatment of Definition:Geometry. Historically, it was meant to treat the same subjects as, but entirely within the framework of first-order logic.

Unless specified otherwise, this site will use the term Tarski's Geometry to be a formal systematic treatment of geometry containing only:


 * The language and axioms of first-order logic, and the disciplines preceding it


 * The undefined terms of Tarski's Geometry


 * Tarski's Axioms of Geometry