excision axiom

Мат. аксиома выделения