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
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.