Prädikatenlogik/Vollständigkeitssatz/Erfüllbar und widerspruchsfrei/Fakt

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

Dann ist genau dann widerspruchsfrei, wenn erfüllbar ist.