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