Изменения

Есть два способа определения суммы двух натуральных чисел <tex>a\ и\ b</tex>. Если натуральные числа определяют через мощность множества с конечным числом элементов (мощность множества — это количество элементов в нём), тогда целесообразно дать следующее определение суммы:

Здесь, <tex>A ∪ B {\displaystyle A\cup B} A\cup B ---</tex> это объединение множеств <tex>A и B</tex>. В альтернативной версии этого определения множества <tex>A и B</tex> перекрываются и тогда в качестве суммы берётся их дизъюнктное объединение, механизм, который позволяет отделять общие элементы, вследствие чего эти элементы учитываются дважды.

Другое известное определение рекурсивно:

==Деление чисел с остатком==