Элемент 'выполнимость формул в теориях'