Мы определим предикатную формулу с k индивидуумами, или, короче, предикатную k - формулу, пользуясь определением ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Клини С.К.
Введение в математику
Мы определим предикатную формулу с k индивидуумами, или, короче, предикатную k - формулу, пользуясь определением предикатной формулы ( § 31), но с той разницей, что теперь в пункте 1 определения в качестве термов наравне с переменными рассматриваются цифры от 1 до ft; исчисление предикатов с этим понятием формулы мы назовем исчислением предикатов с k индивидуумами, или, короче, k - исчислением предикатов.