Logik/Vollständigkeitssatz/Maximalisierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann gibt es eine maximal widerspruchsfreie -Menge mit .