Сложение натуральных чисел.

Определение: Сложением натуральных чисел называется соответствие , удовлетворяющее следующим условиям:

1. ;

2. .

Назовем условия 1 и 2 аксиомами сложения.

Теорема 1. Сложение на множестве натуральных чисел является бинарной операцией, существует и притом единственное.