Source: wikibot/tennenbaum-s-theorem

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