Arguably, the numbers we care about. Set theory helpfully adds that second-order arithmetic (arithmetic using the language of sets) has only a single model (up to what is called ‘isomorphism’, meaning a precise analogy) and that Godel’s original sentence is ‘true’ within this abstraction.
Arguably, the numbers we care about. Set theory helpfully adds that second-order arithmetic (arithmetic using the language of sets) has only a single model (up to what is called ‘isomorphism’, meaning a precise analogy) and that Godel’s original sentence is ‘true’ within this abstraction.