Content deleted Content added
→top: Rewording. Try to make link to elementary theory more obvious. Of course, feel free to revert if you prefer the previous version. |
→top: Try to fix what believe to be MOS:SUBMARINE links. |
||
Line 1:
{{otheruses4|axioms for Euclidean geometry||Tarski–Grothendieck set theory}}
'''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 (mathematics)|identity]], and requiring no [[set theory]] {{harv|Tarski|1959}} (i.e., that part of Euclidean geometry that is formulable as an [[elementary theory]]). Other modern axiomizations of Euclidean geometry are
==Overview==
| |||