Definition:Tarski's Geometry/Historical Note

Historical Note on Tarski's Geometry
Tarski's geometry was invented to treat the same subjects as Euclidean geometry, but entirely within the framework of first-order logic.