Mathematische Logik/Gemischte Satzabfrage/12/Aufgabe

Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Lemma von Zorn.
  2. Der Satz über die Division mit Rest in einem Peano-Halbring.
  3. Der Satz über die Unvollständigkeit der Peano-Arithmetik.