экзистенциальная формула

Мат. existential formula