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.