Erststufige Peano-Arithmetik/Gleichheit/Repräsentierbarkeit/Aufgabe

Zeige, dass die Gleichheit von natürlichen Zahlen (also die Diagonalrelation in ${\mathbb{N}}^2$) durch den Ausdruck $x=y$ in der erststufigen Peano-Arithmetik repräsentierbar ist.

Zur Lösung, Alternative Lösung erstellen