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
Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.