< Mathematische Logik < Gemischte Satzabfrage < 5

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.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.