Tarski's Axioms

Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called "elementary," that is formulable in first-order logic with identity, and requiring no set theory (Tarski 1959). Other modern axiomizations of Euclidean geometry are those by Hilbert and George Birkhoff.

Read more about Tarski's Axioms:  Overview, The Axioms, Discussion, Comparison With Hilbert

Famous quotes containing the word axioms:

    “I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.”
    Henry Brooks Adams (1838–1918)