Natürliche Zahlen/Ordnungsrelation/01/Alternative/Fakt

Für die Größergleich-Relation in den natürlichen Zahlen gelten die folgenden Aussagen.

1. Es ist

   ${}a\geq 0\,$

   für alle ${}a\in \mathbb {N}$.

2. Es ist

   ${}a=0\,$

   oder

   ${}a\geq 1\,.$

3. Bei

   ${}a\geq b\,$

   gilt

   ${}a=b\,$

   oder

   ${}a\geq b+1\,.$

Zum Beweis, Alternativen Beweis erstellen