Logik/Vollständigkeitssatz/Maximalisierung/Fakt

Es sei ${}\Gamma$ eine widerspruchsfreie Menge an ${}S$ -Ausdrücken (über einem Symbolalphabet ${}S$ ).

Dann gibt es eine maximal widerspruchsfreie ${}S$ -Menge ${}\Gamma '$ mit ${}\Gamma \subseteq \Gamma '$ .