Prädikatenlogik/Vollständigkeitssatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Vollständigkeitssatz

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.

Dann gilt genau dann, wenn gilt.

Zum Beweis, Alternativen Beweis erstellen