theHigherGeometer on Nostr: We still keep things like plane geometry because of Tarski's theorem that says the ...

We still keep things like plane geometry because of Tarski's theorem that says the theory of real-closed fields is complete and decidable, but we treat these as synthetic.