Fullständig (modellteori)
inom modellteori / From Wikipedia, the free encyclopedia
Inom matematisk logik sägs en teori T vara fullständig om för varje sluten formel kan avgöras i T.
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. |