tōng yòng hán shù · ㄊㄨㄥ ㄩㄥˋ ㄏㄢˊ ㄕㄨˋ
数据更新：2026-07-11 23:36:45
通用函数是递归证明中常用的一种函数。又称为枚举函数。通用函数定理亦称枚举定理。
与「通用函数」相关的查询结果