Fullständighet (teori)
From Wikipedia, the free encyclopedia
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.
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. |