< Mathematische Logik < Gemischte Satzabfrage < 5
Formuliere die folgenden Sätze.
- Der Satz von Henkin.
- Der Satz über das Halteproblem.
- 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.