Mathematische Logik/Gemischte Satzabfrage/17/Aufgabe

Aus Wikiversity

Formuliere die folgenden Sätze.

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