Natürliche Zahlen/Addition/+1/Umlegung/Aufgabe/Lösung

Wir beweisen die Aussage für ein beliebiges ${}n$ durch Induktion über ${}k$. Bei ${}k=0$ steht beidseitig ${}n^{\prime }$. Sei die Aussage nun für ${}k$ schon bewiesen und betrachten wir ${}k^{\prime }$. Dann ist

${}(n+k^{\prime })^{\prime }=((n+k)^{\prime })^{\prime }=(n^{\prime }+k)^{\prime }=n^{\prime }+k^{\prime }\,.$

Zur gelösten Aufgabe