Natürliche Zahlen/Multiplikation mit n/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Multiplikation mit n

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen und . Dann definieren wir die Multiplikation mit als diejenige aufgrund von Fakt eindeutig bestimmte Abbildung

für die

gilt.