Fullständighet (teori)
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 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[redigera | redigera wikitext]
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