goodstein's theorem

listen to the pronunciation of goodstein's theorem
Englisch - Englisch
A theorem stating that every Goodstein sequence eventually terminates at zero