Fullständig (modellteori)
inom modellteori Från Wikipedia, den fria encyklopedin
inom modellteori Från Wikipedia, den fria encyklopedin
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. |
Låt vara en teori i ett språk S. sägs vara fullständig om för varje sluten formel gäller antingen
Detta villkor är ekvivalent med att är maximal, dvs att det inte finns någon konsistent mängd formler så att men .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.