Inom matematisk logik sägs en teori vara fullständig om det för varje sluten formel i dess språk kan avgöras i om formeln antingen är sann eller falsk.
Formell definition Låt vara en teori i ett språk S. sägs vara fullständig om för varje sluten formel gäller antingen eller
Se även Fullständighet (logik)
Kategori:Matematisk logik Kategori:Logik