2) Аксиомы сложения: