goodstein's theorem

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