Erststufige Peano-Arithmetik/Vielfache/Repräsentierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei und sei

wobei -mal der Summand vorkommt. Zeige, dass , also die Menge der Vielfachen von , in der erststufigen Peano-Arithmetik durch repräsentiert

wird.
Eine Lösung erstellen