Peanoaxiome/Addition/Kommutativ assoziativ Abziehregel/Aufgabe

Zeige, dass die Addition auf den natürlichen Zahlen kommutativ und assoziativ ist und dass die Abziehregel (d.h., dass aus für ein stets folgt) gilt.