Natürliche Zahlen/Eindeutigkeit der Addition/Umlegungsregel/Fakt/Beweis

Beweis

Es seien zwei Verknüpfungen und auf gegeben, die beide diese charakteristischen Eigenschaften erfüllen. Es ist zu zeigen, dass dann diese beiden Verknüpfungen überhaupt übereinstimmen. Wir müssen also die Gleichheit

für alle beweisen. Dies machen wir durch Induktion über (für beliebige ). Bei

ist wegen

die Aussage richtig. Es sei die Aussage nun für ein bestimmtes schon bewiesen. Dann ist mit der charakteristischen Eigenschaft und der Induktionsvoraussetzung