4 ms·
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
by eigenket 3y ago
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.