Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Mathematische Logik/Gemischte Satzabfrage/19/Aufgabe
Sprache
Beobachten
Bearbeiten
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
(
N
,
0
,
′
)
{\displaystyle {}(N,0,\prime )}
.
Zur Lösung
,
Alternative Lösung erstellen