Mathematische Logik/Gemischte Satzabfrage/16/Aufgabe
Formuliere die folgenden Sätze.
Das
Lemma von Zorn
.
Der
Endlichkeitssatz
für die Prädikatenlogik.
Das
Unvollständigkeitslemma
.
Zur Lösung
,
Alternative Lösung erstellen