Fullständighet (teori) – Wikipedia

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Inom matematisk logik sägs en teori ${\displaystyle T}$ vara fullständig om det för varje sluten formel i dess språk kan avgöras i ${\displaystyle T}$ om formeln antingen är sann eller falsk.

Låt ${\displaystyle T}$ vara en teori i ett språk S. ${\displaystyle T}$ sägs vara fullständig om för varje sluten formel ${\displaystyle \phi \in S}$ gäller antingen

${\displaystyle T\vdash \phi }$ eller ${\displaystyle T\vdash \neg \phi }$ 

• Fullständighet (logik)