More precisely, is there a “natural” statement (a statement that isn’t deliberately constructed to be an example) that can be stated in PA, proved in ZFC, but not provable in PA?
More precisely, is there a “natural” statement (a statement that isn’t deliberately constructed to be an example) that can be stated in PA, proved in ZFC, but not provable in PA?
mo. abbr. please
Peano Axioms
ZFC
To be fair these abbreviations are ubiquitously used.