Natürliche Zahlen/Eindeutigkeit der Addition/Fakt/Beweis/Aufgabe

Aus Wikiversity

Zeige, dass die Addition auf den natürlichen Zahlen durch die Bedingungen

eindeutig bestimmt ist.