< Mathematische Logik < Gemischte Satzabfrage < 3

Formuliere die folgenden Sätze.

  1. Das Lemma von Zorn.
  2. Der Vollständigkeitssatz für Tautologien (Prädikatenlogik).
  3. 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.