Сложение

При объединении двух наборов, содержащих некоторое количество предметов, новый набор будет иметь столько предметов, сколько было в первых двух наборах в сумме. Если первый набор содержал предметов, а второй — предметов, то их сумма будет содержать предметов. Указанное действие носит название сложение, определяется символом «+» и является простейшей бинарной операцией. Из данного определения очевидным образом следуют коммутативный и ассоциативный законы сложения. При аддитивной системе нумерации не обязательно знать таблицу сложения, достаточно осуществить пересчёт.

В 1810 году чешский математик Больцано определил действие сложения для натуральных чисел следующим образом: . Независимо от него подобное определение дали немецкие математики Грассман в 1861 году и Ганкель в 1869 году. В «Энциклопедии элементарной математики» даётся следующее определение сложения натуральных чисел:

Сложение натуральных чисел всегда выполнимо и однозначно.