Source: wikibot/godel-s-completeness-theorem

= Gödel's completeness theorem
{wiki=Gödel's_completeness_theorem}