бескванторный

Quantifier-free, quantor-free