Mathematische Logik/Gemischte Satzabfrage/9/Aufgabe
Formuliere die folgenden Sätze.
- Der Satz über die Division mit Rest in einem Peano-Halbring.
- Der Vollständigkeitssatz der Prädikatenlogik.
- Der erste Gödelsche Unvollständigkeitssatz.
Formuliere die folgenden Sätze.