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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine beliebige Aussagenvariablenmenge und sei 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