Eine prädikatenlogische Theorie ist vollständig, wenn für jede Formel (Satz) der Sprache entweder die Formel oder ihre Negation von der Theorie gefolgert wird; äquivalent: alle Modelle der Theorie sind elementar äquivalent und die Theorie entscheidet alle Sätze der Sprache.

Prinzip

Vollständigkeit beseitigt syntaktische Unentschiedenheit in der Sprache: kein Satz bleibt von den Axiomen unbestimmt, die Theorie teilt den Satzraum in bewiesene und widerlegte Sätze und liefert damit eine maximale syntaktische Festlegung bezogen auf die gegebene Sprache.

Demonstration

Die Theorie der dichteren linearen Ordnungen ohne Ränder ist vollständig: jede Formel in der Ordungssprache ist entweder beweisbar oder widerlegbar aus den Axiomen, sodass alle abzählbaren dichteren linearen Ordnungen ohne Endpunkte elementar äquivalent sind. Ein weiteres Beispiel ist die vollständige Theorie algebraisch abgeschlossener Körper fest gewisser Charakteristik unter geeigneter Parameterkontrolle.

Fehlanwendung

Vollständigkeit einer Theorie mit Entscheidbarkeit oder mit Modell‑Sättigung zu verwechseln: Eine Theorie kann vollständig, aber unentscheidbar sein (kein Algorithmus zur Bestimmung der Zugehörigkeit), und Vollständigkeit garantiert nicht, dass Modelle alle Typen realisieren (Sättigung); solche Verwechslungen führen zu falschen Erwartungen bezüglich Berechenbarkeit oder Modellreichtum.

Konsequenz

Eine vollständige Theorie liefert eine klare Klassifikation von Sätzen und impliziert, dass zwei Modelle, die die Theorie erfüllen, genau dieselben prädikatenlogischen Sätze erfüllen; dies erleichtert den Transfer von First‑Order‑Eigenschaften und vereinfacht Klassifikationsprobleme hinsichtlich elementarer Äquivalenz.

Umkehrung

Eine unvollständige Theorie lässt Sätze offen, die weder beweisbar noch widerlegbar sind, erzeugt so nichttriviale Unterschiede zwischen Modellen (keine elementare Äquivalenz) und ermöglicht unabhängige Erweiterungen oder verschiedene Komplettierungen; Unvollständigkeit ist eine Ressource zum Konstruieren vielfältiger Modelle und zum Erfassen unterbestimmter Phänomene.

Abgrenzung

Vollständigkeit ist relativ zur gewählten Sprache und zum Axiomensystem: Erweiterung der Sprache oder Abschwächung/Verstärkung der Axiome kann Vollständigkeit zerstören oder herstellen; sie ist strikt syntaktisch/semantisch in der ersten Ordnung und sagt nichts über höherordentliche Ausdrucksmöglichkeiten oder metatheoretische Entscheidbarkeit aus.

Semantische Spannung

Spannung zwischen Vollständigkeit und Entscheidbarkeit (algorithmische Prüfbarkeit): Vollständigkeit sichert, dass jeder Satz semantisch von der Theorie entschieden wird, garantiert aber keinen effektiven Entscheidungsalgorithmus; zudem kann Vollständigkeit mit der Flexibilität kollidieren, die für bestimmte Modellkonstruktionen benötigt wird.

Synthese

Eine vollständige Theorie lässt keinen prädikatenlogischen Satz offen: sie sorgt für einheitliches elementares Verhalten ihrer Modelle und stellt maximale syntaktische Festlegung innerhalb der gewählten Sprache bereit, wobei sie sich klar von algorithmischer Entscheidbarkeit und Modell‑Sättigungsfragen abgrenzt.