Mathematische Logik/Gemischte Satzabfrage/1/Test/Aufgabe

Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Lemma von Zorn.
  2. Der Vollständigkeitssatz der Aussagenlogik.
  3. Der Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell .