Aussagenlogik/Abzählbare Ausdrucksmenge/Vollständigkeitssatz/Aufgabe

Es sei ${}V$ eine beliebige Aussagenvariablenmenge und sei ${}\Gamma \subseteq L^{V}$ eine abzählbare Ausdrucksmenge. Zeige, dass man in diesem Fall den Vollständigkeitssatz der Aussagenlogik ohne das Lemma von Zorn beweisen kann.

Eine Lösung erstellen