Mathematische Logik/Gemischte Satzabfrage/9/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz über die Division mit Rest in einem Peano-Halbring.
2. Der Vollständigkeitssatz der Prädikatenlogik.
3. Der erste Gödelsche Unvollständigkeitssatz.

Zur Lösung, Alternative Lösung erstellen