Natürliche Zahlen/Addition/+1/Umlegung/Aufgabe

Beweise in ${}\mathbb {N}$ die Gleichheit

${}(n+k)'=n'+k\,$

durch Induktion über ${}k$ unter Verwendung der Gleichung ${}n+k'=(n+k)'$,

wobei ${}x\mapsto x^{\prime }$ die Nachfolgerabbildung bezeichnet.

Zur Lösung, Alternative Lösung erstellen