Goodstein's theorem

== English == === Etymology === Named after Reuben Goodstein (1912-1985), English mathematician. === Proper noun === Goodstein's theorem (mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.