Mathematische Logik/Gemischte Satzabfrage/19/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz von Euklid über Primzahlen.
2. Das Substitutionslemma.
3. Der Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell ${}(N,0,\prime )$.

Zur Lösung, Alternative Lösung erstellen