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

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 .