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
Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.