Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Hilfseigenschaften/Fakt

Für die Addition der natürlichen Zahlen (mit der in Definition festgelegten Addition) gelten die folgenden Aussagen.

1. ${}n+0=n=0+n\,$

   für alle ${}n$, d.h. ${}0$ ist das neutrale Element der Addition.

2. ${}n+k'=(n+k)'=n'+k\,$

   für alle ${}n,k\in \mathbb {N}$ (Umlegungsregel).

3. Die Addition ist kommutativ.
4. Die Addition ist assoziativ.
5. Aus einer Gleichung ${}n+k=m+k$ folgt

   ${}n=m\,$

   (Abziehregel).

Zum Beweis, Alternativen Beweis erstellen