Logik/Vollständigkeitssatz/Maximalisierung/Fakt
Es sei eine widerspruchsfreie Menge an -Ausdrücken (über einem Symbolalphabet ).
Dann gibt es eine maximal widerspruchsfreie -Menge mit .
Es sei eine
widerspruchsfreie
Menge an
-Ausdrücken
(über einem
Symbolalphabet
).
Dann gibt es eine maximal widerspruchsfreie -Menge
mit
.