Mathematische Logik/Gemischte Satzabfrage/2/Aufgabe

Formuliere die folgenden Sätze.

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

Zur Lösung, Alternative Lösung erstellen