bn:01470871n
Noun Concept
SYL
No term available
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
Relations
Sources
DISCOVERER OR INVENTOR