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/PcjvB