Mathematische Logik/Gemischte Satzabfrage/16/Aufgabe

Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Lemma von Zorn.
  2. Der Endlichkeitssatz für die Prädikatenlogik.
  3. Das Unvollständigkeitslemma.