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

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.