Category:Axioms/Tarski's Axioms
Jump to navigation
Jump to search
This category contains axioms related to Tarski's Axioms in the context of Euclidean Geometry.
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.
Pages in category "Axioms/Tarski's Axioms"
The following 24 pages are in this category, out of 24 total.