Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formuliere die folgenden Sätze.

  1. Das Substitutionslemma.
  2. Der Endlichkeitssatz für die Prädikatenlogik.
  3. Der Satz über das Halteproblem.
  4. Der Fixpunktsatz für arithmetische Ausdrücke.
Zur Lösung, Alternative Lösung erstellen