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