Natürliche Zahlen/Multiplikation mit n/Definition

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.