Natürliche Zahlen/Nachfolger/Addition/Summe ist 0/Fakt/Beweis
Erscheinungsbild
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 .