Source: wikibot/completeness-logic

= Completeness (logic)
{wiki=Completeness_(logic)}