%<<Комментарии:"Не входит свободно>> " - это также важный вопрос.%Рассмотрим формулу $<tex>A(x) \rightarrow A(x)$</tex>. Легко показать, что такая%формула общезначима и доказуема. Однако, $<tex>(\exists{x}A(x)) \rightarrow A(x)$</tex>%не является общезначимой, если $<tex>A(x)$ не </tex> общезначима: достаточно взять в качестве %оценки свободной переменной $<tex>x$ </tex> то значение, на котором $<tex>A(x)$ </tex> ложна.%Вывод из гипотез также вполне можно расширить на исчисление предикатов.
{{Определение
