Fullständighet (teori)

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

Formell definition

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

$T⊢\varphi$ eller $T⊢\mathrm{\neg }\varphi$

Se även

• Fullständighet (logik)