Goodstein's theorem

Etymology
Named after (1912-1985), English mathematician.

Proper noun

 * 1)  A theorem stating that every Goodstein sequence eventually terminates at zero.