Axiom:Tarski's Axioms

Definition
Tarski's Axioms are a series of axioms whose purpose is to provide a rigorous basis for the definition of Euclidean geometry.

The axioms are as follows: