Source: wikibot/craig-s-theorem

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