pTANTATe on Nostr: Does Gödel's work imply there are unprovable yet definitely true statements in ZFC, ...
Does Gödel's work imply there are unprovable yet definitely true statements in ZFC, or only undecidable statements? Does this depend on a chosen model for ZFC? - Quora
https://archive.ph/PcjvBPublished at
2024-07-13 11:49:10Event JSON
{
"id": "e1f34629ea098e62aa5ab83b5a99772abe98b4df172813a0be1afab70b315283",
"pubkey": "0f7fb3061b59b478c3299771e829b8692b0a8a2cf2631ef274f05d84799e9475",
"created_at": 1720871350,
"kind": 1,
"tags": [],
"content": "Does Gödel's work imply there are unprovable yet definitely true statements in ZFC, or only undecidable statements? Does this depend on a chosen model for ZFC? - Quora\nhttps://archive.ph/PcjvB",
"sig": "dae82e697cb376a09353692d9699de6557a1e31175c01bb7f86c25b1bbe2d84d92102bc961ecbe38602030e6480c4464097754969cd02b761e4376fceaaa3ae2"
}