Syntaktische Vollständigkeit

Eine Eigenschaft eines deduktiven Systems oder einer Theorie, die besagt, dass für jede Formel φ in der Sprache entweder φ aus dem System (oder der Theorie) beweisbar ist oder ihre Negation ¬φ beweisbar ist; äquivalent dazu ist die Theorie maximal konsistent bezüglich der Formeln der Sprache.