Comment on What does ZFC do that Peano arithmetic can't do?
ns1@feddit.uk 2 days ago
en.m.wikipedia.org/wiki/Goodstein's_theorem