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