Mathematische Logik/Gemischte Satzabfrage/3/Aufgabe

Formuliere die folgenden Sätze.

1. Das Lemma von Zorn.
2. Der Vollständigkeitssatz für Tautologien (Prädikatenlogik).
3. Der zweite Gödelsche Unvollständigkeitssatz.

Zur Lösung, Alternative Lösung erstellen