通用函数的词语属性

通用函数的百科含义

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