аксиома разности

Мат. axiom of difference