quantifier-free sentence

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