Peano-Arithmetik/Addition/Repräsentierbar/Aufgabe/Lösung

Wir betrachten den Ausdruck

$z=x+y.$

Es seien $m,n,k$ natürliche Zahlen.

$\mathrm{\exists }!z((n+m)=z)$

Zur gelösten Aufgabe