Примитивно-рекурсивные операторы. Частично-рекурсивные функции
Предикаты Пусть А – множество объектов хi (i=1,..,N), тогда утверждение P(x), истинное для некоторых хi и ложное для остальных, называется одноместным предикатом на множестве А. Предикат может быть n-местным. Тогда он определен на декарт