Mathematische Logik/Gemischte Satzabfrage/17/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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