Vollständigkeitssatz

Ein Metasatz, klassisch für die Prädikatenlogik erster Stufe, der aussagt, dass falls eine Formel semantisch aus einer Menge von Sätzen folgt, sie syntaktisch aus diesen Sätzen beweisbar ist; semantische Konsequenz impliziert syntaktische Ableitbarkeit (Σ ⊨ φ ⇒ Σ ⊢ φ).