IIRC, incompleteness theorems applies to arithmetic not geometry, the difference being subtle right?
back
1 comments
The original incompleteness theorems apply to any logical system which can formulate and prove a certain chunk of arithmetic, yes. It turns out that the amount of arithmetic you actually need is incredibly small, so these results apply to many systems including some formulations of geometry.