[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.