аксиома суммы

Мат. axiom of unions