Mathematische Logik/Gemischte Satzabfrage/5/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. Der Satz über die Unvollständigkeit der Peano-Arithmetik.
Zur Lösung, Alternative Lösung erstellen