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