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 (18381918)