Goodstein's theorem (English, name)
expansion: Goodstein's theorem
Senses:
topics: mathematics
sciences
glosses: A theorem stating that every Goodstein sequence eventually terminates at zero.
Forms: