Division mit Rest/Formale Ableitung/Aufgabe

Links hinzufügen
Aus Wikiversity

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

ist.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Division_mit_Rest/Formale_Ableitung/Aufgabe&oldid=857676“