Peanoaxiome/Addition/Kommutativ assoziativ Abziehregel/Aufgabe

Aus Wikiversity

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.