Mathematische Logik/Gemischte Satzabfrage/Erster Teil/2/Aufgabe

Formuliere die folgenden Sätze.

1. Das Lemma von Zorn.
2. Der Satz über die Division mit Rest in einem Peano-Halbring.
3. Der Endlichkeitssatz für die Prädikatenlogik.

Zur Lösung, Alternative Lösung erstellen