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