bn:01470871n
Noun Concept
Categories: Foundations of geometry, Mathematical axioms, Elementary geometry
EN
Tarski's axioms  Tarski's axiom  Tarski axiom  Tarski axioms
EN
Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry that is formulable in first-order logic with identity, and requiring no set theory. Wikipedia
Definitions
Relations
Sources
EN
Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry that is formulable in first-order logic with identity, and requiring no set theory. Wikipedia
DISCOVERER OR INVENTOR
Wikipedia
Wikidata
Wikipedia Redirections