quantor-free

Бескванторный — quantor-free statement