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

Wir betrachten den Ausdruck

${}z=x+y\,.$

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

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

Zur gelösten Aufgabe