Beweis mit Definition der Addition und den Peano-Axiomen

Question

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 \)

Answer 1

Zahlen die den gleichen Nachfolger haben, sind gleich.

Addition ist mittels Nachfolgern definiert.

Vollständige Induktion über \(n\).