通用函数

通用函数是递归证明中常用的一种函数。又称为枚举函数。通用函数定理亦称枚举定理。