Mathematische Logik/Gemischte Satzabfrage/11/Aufgabe

Links hinzufügen
Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Substitutionslemma.
  2. Der Vollständigkeitssatz der Aussagenlogik.
  3. Der zweite Gödelsche Unvollständigkeitssatz.
Zur Lösung, Alternative Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Mathematische_Logik/Gemischte_Satzabfrage/11/Aufgabe&oldid=554607“