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. für alle , d.h. ist das neutrale Element der Addition.

  2. für alle (Umlegungsregel).

  3. Die Addition ist kommutativ.
  4. Die Addition ist assoziativ.
  5. Aus einer Gleichung folgt
    (Abziehregel).