< Mathematische Logik < Gemischte Satzabfrage < 3
Formuliere die folgenden Sätze.
- Das Lemma von Zorn.
- Der Vollständigkeitssatz für Tautologien (Prädikatenlogik).
- Der zweite Gödelsche Unvollständigkeitssatz.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.