Mathematische Logik/Gemischte Satzabfrage/4/Aufgabe

Aus Wikiversity

Formuliere die folgenden Sätze.

  1. Das Substitutionslemma.
  2. Der Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell .
  3. Der Vollständigkeitssatz der Modallogik.