A simple finitary proof of Goodstein's Theorem

Bhupinder Singh Anand

We assumed that, for every natural number k, there is a natural number u such that the (k-1)th term of G(u) is k^k, and that G(u) terminates finitely. It immediately follows that e…