Fred Richman wrote: >Are there undecidable statements in Euclidean geometry? Elementery geomerty is decidable. See, for details, Alfred Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 2nd edition, 1951. --Hrant Marandjian