Неарифметичность класса реализуемых предикатных формулстатья