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