Die Summe ${\displaystyle {}n+k}$ zweier natürlicher Zahlen ${\displaystyle {}n}$ und ${\displaystyle {}k}$ ist diejenige natürliche Zahl, die man erhält, wenn man von ${\displaystyle {}n}$ ausgehend ${\displaystyle {}k}$-fach den Nachfolger nimmt.