< Mathematische Logik < Gemischte Satzabfrage < 19

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 .
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.