Mathematische Logik/Gemischte Satzabfrage/3/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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