аксиома сложения

Мат. axiom of addition