本原函数

英文

fundamental functions

简介

一类基本的数论函数.它包括后继函数S、零函数0及投影函数I_mn(亦称广义幺函数).由于这些函数是最基本、最简单而又可以直接定义的函数，因此，在递归论中所讨论的每一个非平凡的函数类都包含这些函数，并常以它们作为开始函数(参见“递归生成函数类”).虽然只有三种本原函数，但却有无穷多个函数，这是因为投影函数有无穷多个.