This article is about axioms for Euclidean geometry. For Tarski's axioms for the real numbers, see Tarski's axiomatization of the reals. For Tarski's axioms for set theory, see Tarski–Grothendieck set theory. Tarski's axioms are an axiom system for Euclidean geometry, specifically for that portion of Euclidean geometry that is formulable in first-order logic with identity (i.e. is formulable as an