Mathematische Logik/Gemischte Satzabfrage/5/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz von Henkin.
2. Der Satz über das Halteproblem.
3. Der Satz über die Unvollständigkeit der Peano-Arithmetik.

Zur Lösung, Alternative Lösung erstellen