Аксиомы сложения.

Аксиоматика действительных чисел

1) справедливо .

2) справедливо .

3) (нейтральный элемент сложения) такой, что справедливо .

4) такой, что .