It’s after reading posts like this that I’m happy to stick with instrumentalism, where questions like “is 2+3=5 true?” are meaningless. Peano arithmetic is a useful (meta-)model, and that’s all there is to it.
It’s after reading posts like this that I’m happy to stick with instrumentalism, where questions like “is 2+3=5 true?” are meaningless. Peano arithmetic is a useful (meta-)model, and that’s all there is to it.