Mathematische Logik/Gemischte Satzabfrage/8/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz über die Vorgängereigenschaft in einem Peano-Halbring.
2. Der Endlichkeitssatz für die Prädikatenlogik.
3. Die Unentscheidbarkeit der Arithmetik.

Zur Lösung, Alternative Lösung erstellen