识别为 "0"。一旦作出这种识别，集合 "A" 的特征函数，它在文字上返回 "1" 或 "0"，可以被看作判定一个数是否在集合 "A" 中的谓词。把谓词识别为数值函数的这种方式将假定于本文余下部分。
例子.
加法.直觉上我们会把加法递归的定义为:为了使它适合于严格的原始递归定义,我们定义:"P" 是简单的恒等函数；包含它是上述原始递归运算定义的要求；它扮演了 "f" 的角色。"S" 和 "P" 的复合，它是原始递归的，它扮演了 "g" 的角色。Se