It’s clearly true in The Natural Numbers. It’s not provable because in some mode... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

czgov 31 days ago | parent | context | favorite | on: How Gödel's Proof Works (2020)

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.

jojomodding 31 days ago | [–]

Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact