Eudidean geometry is decidable. https://math.stackexchange.com/questions/90393/why-euclidean-geometry-cannot-be-proved-incomplete-by-gödels-incompleteness-the

Eudidean geometry is decidable. https://math.stackexchange.com/questions/90393/why-euclidean-geometry-cannot-be-proved-incomplete-by-gödels-incompleteness-the https://math.stackexchange.com/questions/90393/why-euclidean...