Исчисление предикатов

[Ираклий]

Я вот тут услышал звон, да не знаю где он, в связи со следующим вопросом: утверждается, что в исчислении предикатов нельзя ограничиться выводами, содержащими лишь замкнутые формулы. Видимо, это так надо понимать: выводами, содержащими лишь замкнутые формулы, можно доказать не все общезначимые формулы. Вопрос: почему?