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 1 week ago by jannaultheal@lemmy.world to nostupidquestions@lemmy.world
Comments
ns1@feddit.uk 1 week ago
slazer2au@lemmy.world 1 week ago
What does a Nikon camera have to do with IPv6 private address space?
Zwuzelmaus@feddit.org 1 week ago
mo. abbr. please
jannaultheal@lemmy.world 1 week ago
Peano Axioms
ZFC
Prime@lemmy.sdf.org 1 week ago
To be fair these abbreviations are ubiquitously used.
just_ducky_in_NH@lemmy.world 1 week ago
Plz!