Prädikatenlogik/Vollständigkeitssatz/Erfüllbar und widerspruchsfrei/Fakt
Erscheinungsbild
Es sei ein Symbolalphabet und eine Menge an -Ausdrücken.
Dann ist genau dann widerspruchsfrei, wenn erfüllbar ist.
Es sei ein
Symbolalphabet
und
eine Menge an
-Ausdrücken.
Dann ist genau dann
widerspruchsfrei,
wenn
erfüllbar
ist.