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

source
Sort:hotnewtop