Loading AI tools
Från Wikipedia, den fria encyklopedin
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. |
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
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.