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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die Gleichheit von natürlichen Zahlen (also die Diagonalrelation in ) durch den Ausdruck in der erststufigen Peano-Arithmetik repräsentierbar

ist.
Eine Lösung erstellen