Рекурсивный Предикат
Предикат Р(х 1, . . .,х п), определенный на натуральных числах и такой, что функция f, заданная на натуральных числах условием истинно, ложно, является рекурсивной функцией. В.
Источник:
Математическая энциклопедия
на Gufo.me