Natürliche Zahlen/Ordnungsrelation/Addition/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Für natürliche Zahlen gilt

genau dann, wenn es ein mit

gibt.

Zum Beweis, Alternativen Beweis erstellen