Natürliche Zahlen/Nachfolger/Addition/Summe ist 0/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wenn wäre, so wäre ein Nachfolger einer natürlichen Zahl (nämlich der -te Nachfolger von ), was für die ausgeschlossen ist. Also ist . Wegen

ist auch der erste Summand gleich .

Zur bewiesenen Aussage