通用函数
书籍:逻辑百科辞典
全体n元递归函数的统一表达式。
对任何n≥1，存在n+1元部分递归函数U(x，…x，y)，使对每个n元部分递归函数f(x，…，x)，存在自然数e满足
f(x，…，x)=U(x，…，x，e)，
U(x，…，x，y)称为n元递归函数的通用函数。
克利尼范式就是一种通用函数。事实上，对任何n≥1，n元递归函数的通用函数有无穷多个，因为对任何一个n元递归函数g(x，…，x)，如果U(x，…，x，y)是通用函数，则为下定义的n+1元函数
也是n元递归函数的一个通用函数。
设U(x，…，x，y)为通用函数，则函数序列
U(x，…，x，0)，U(x，…，x，1)，U(x，…，x，2)，…
中包括了全体n元部分递归函数(一个函数可能出现不止一次)。