Математическая энциклопедия - противоречие

формула j языка узкого исчисления предикатов (УИП) такая, что во всех моделях этого языка она ложна. Формула j является П. тогда и только тогда, когда выводимо в УИП.

В. И. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985