Tarski's axioms

Axiom set used in first-order logic

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 elementary theory). As such, it does not require an underlying set theory.

From Wikipedia, under CC BY-SA. More on occurri.