I came across the wonderful fact that the theory of Euclidean geometry in 2 dimensions is complete, consistent and decidable — as shown by Tarski's axiomatization.
I know very little about this. My question: What about the dimensions higher than 2? Are there similar axiomatizations that preserve completeness, consistency and decidability?
I don't really see why the answer has to be "yes" (or "no").