Peano-Arithmetik/Multiplikation/Repräsentierbar/Aufgabe

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

Eine Lösung erstellen