[thaumasiotes]

> But there's no wikipedia page for Peano arithmetic.

But there is such a page. It redirects to https://en.wikipedia.org/wiki/Peano_axioms#Peano_arithmetic_... .

[daxfohl]

Oh, I missed that! I'd searched google for the term, and it just returned the top-level Peano axioms page.

Anyway, updated the link on the Goodstein's Theorem page to point to that section specifically.