Aufgabe:
Verwende nur die Definition der Addition und die Peano-Axiome
Problem/Ansatz:
\( \bigwedge_{k, m, n} k+n=m+n \quad \rightarrow \quad k=m \)
Zahlen die den gleichen Nachfolger haben, sind gleich.
Addition ist mittels Nachfolgern definiert.
Vollständige Induktion über \(n\).
