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

Мат. axiom of separation, comprehension axiom, excision axiom