Division mit Rest/Formale Ableitung/Aufgabe

Zeige, dass die Division mit Rest aus der Menge der erststufigen Peano-Axiome ableitbar ist.

Eine Lösung erstellen