Natürliche Zahlen/Addition mit n/Als Verschiebung/Abziehregel/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass die Addition die Abziehregel erfüllt, also die Aussage, dass aus einer Gleichung die Gleichheit folgt

(dabei dürfen grundlegendere Regeln wie die Assoziativität der Addition und ähnliches verwendet werden).
Zur Lösung, Alternative Lösung erstellen