Mathematische Logik/Gemischte Satzabfrage/19/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .
Zur Lösung, Alternative Lösung erstellen