Mathematische Logik/Gemischte Satzabfrage/11/Aufgabe

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