Source: /wikibot/lob-s-theorem

= Löb's theorem
{wiki=Löb's_theorem}