---
tag: 0S13V32CPB
kind: concept
name: Addition of natural numbers
msc: [03F30]
sources:
  - url: https://en.wikipedia.org/wiki/Addition
    locator: Natural numbers
  - url: https://en.wikipedia.org/wiki/Peano_axioms
    locator: Addition
---

## Summary

Addition of natural numbers is the operation that sends two [[natural numbers|0MWKJ44V5A]] $a$ and $b$ to their sum $a + b$.
The sum $a + b$ is the number that you get when you start at $a$ and apply the [[successor function|0AK9TGSNXY]] $b$ times.