4 ms·
IIRC, incompleteness theorems applies to arithmetic not geometry, the difference being subtle right?
by throwoutway 3y ago
IIRC, incompleteness theorems applies to arithmetic not geometry, the difference being subtle right?
- eigenket 3y agoThe 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.