кванторная форма

Мат. quantifier form