< Mathematische Logik < Gemischte Satzabfrage < 1

Formuliere die folgenden Sätze.

  1. Der Isomorphiesatz für (zweitstufige) Dedekind-Peano-Modelle.
  2. Der Vollständigkeitssatz der Prädikatenlogik.
  3. Die Unentscheidbarkeit der Arithmetik.
  4. Der erste Gödelsche Unvollständigkeitssatz.
Zur Lösung, Alternative Lösung erstellen
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.