Zum Inhalt springen

Logik/Vollständigkeitssatz/Maximalisierung/Fakt

Aus Wikiversity

Es sei eine widerspruchsfreie Menge an -Ausdrücken (über einem Symbolalphabet ).

Dann gibt es eine maximal widerspruchsfreie -Menge mit .