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 entirely within the framework of first order logic.

In the following:
 * $\equiv$ denotes the relation of equidistance.


 * $\mathsf{B}$ denotes the relation of betweenness.


 * $=$ denotes the relation of equality.

The axioms are as follows: