参数，或生成真值作为输出的原始递归函数(参见 Kleene [1952 pp.226-227])。这可以通过把真值识别为任何固定方式的数值来完成。例如，通常把真值"t" 识别为 "1" 和真值 "f" 识别为 "0"。一旦作出这种识别，集合 "A" 的特征函数，它在文字上返回 "1" 或 "0"，可以被看作判定一个数是否在集合 "A" 中的谓词。把谓词识别为数值函数的这种方式将假定于本文余下部分。
例子.
加法.直觉上我们会把加法递归的定义为:为了使它适合