Mathematische Logik/Gemischte Satzabfrage/20/Aufgabe

Formuliere die folgenden Sätze.

1. Das Koinzidenzlemma.
2. Der Satz über die Vorgängereigenschaft in einem Peano-Halbring.
3. Der Satz über das Halteproblem.

Zur Lösung, Alternative Lösung erstellen