Disambiguation evidence for Tarski’s theorem on the completeness of elementary algebra and geometry via surface form
"Euclidean geometry can be captured by the first-order theory of real closed fields"
Triples (1)
Triples where some other subject referred to this entity
as "Euclidean geometry can be captured by the first-order theory of real closed fields".
Tarski’s theorem on the completeness of elementary algebra and geometry
→
shows
→
"Euclidean geometry can be captured by the first-order theory of real closed fields"
ⓘ