# 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.