Source: wikibot/trakhtenbrot-s-theorem

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