Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formuliere die folgenden Sätze.

  1. Das Substitutionslemma.
  2. Der Satz über das Halteproblem.
  3. Der Fixpunktsatz für arithmetische Ausdrücke.