Peano-Arithmetik/Addition/Repräsentierbar/Aufgabe

Zeige, dass in der erststufigen Peano-Arithmetik die Addition von natürlichen Zahlen repräsentierbar ist.

Zur Lösung, Alternative Lösung erstellen