Mathematische Logik/Gemischte Satzabfrage/4/Aufgabe

Formuliere die folgenden Sätze.

1. Das Substitutionslemma.
2. Der Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell ${}(N,0,\prime )$.
3. Der Vollständigkeitssatz der Modallogik.

Zur Lösung, Alternative Lösung erstellen