Source: wikibot/goodstein-s-theorem

= Goodstein's theorem
{wiki=Goodstein's_theorem}