3 ms·
It’s clearly true in The Natural Numbers. It’s not provable because in some model it’s false. Being clearly true in one model does not make it provable.
by czgov 2mo ago
It’s clearly true in The Natural Numbers. It’s not provable because in some model it’s false. Being clearly true in one model does not make it provable.
- deleted 2mo ago[deleted]
- jojomodding 2mo agoYes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.