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