Comment on How Gödel's Proof Works (2020)parentComments−czgov29dIt’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.−jojomodding29dYes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.
Comments
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.
Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.