< Mathematische Logik < Gemischte Satzabfrage < 19
Formuliere die folgenden Sätze.
- Der Satz von Euklid über Primzahlen.
- Das Substitutionslemma.
- 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.