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?
What does a Nikon camera have to do with IPv6 private address space?
What does ZFC do that Peano arithmetic can't do?
Submitted 10 months ago by jannaultheal@lemmy.world to nostupidquestions@lemmy.world
Comments
slazer2au@lemmy.world 10 months ago
Zwuzelmaus@feddit.org 10 months ago
mo. abbr. please
just_ducky_in_NH@lemmy.world 10 months ago
Plz!
Prime@lemmy.sdf.org 10 months ago
To be fair these abbreviations are ubiquitously used.
jannaultheal@lemmy.world 10 months ago
ns1@feddit.uk 10 months ago
en.m.wikipedia.org/wiki/Goodstein's_theorem