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