Mathematische Logik/Gemischte Satzabfrage/17/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz von Henkin.
2. Der Satz über das Halteproblem.
3. Die Unentscheidbarkeit der Arithmetik.

Zur Lösung, Alternative Lösung erstellen