Mathematische Logik/Gemischte Satzabfrage/1/Aufgabe
Formuliere die folgenden Sätze.
- Der Isomorphiesatz für (zweitstufige) Dedekind-Peano-Modelle.
- Der Vollständigkeitssatz der Prädikatenlogik.
- Der erste Gödelsche Unvollständigkeitssatz.
Formuliere die folgenden Sätze.