quantor-free statement

Мат. бескванторное высказывание