证明 　　（2）数论谓词 　　对数论谓词F( x1,∧,xn) 可定义一个函数 f( x1,∧,xn) 使得 　　F( x1,∧,xn)=T， 　当 f( x1,∧,xn)= 0 　　F( x1,∧,xn)=F， 　当 f( x1,∧,xn)= 1 　　这时称f( x1,∧,xn)为F( x1,∧,xn)的特征函数。并记为 ctF( x1,∧,xn)。 　　当ctF( x1,∧,xn)为原始递归函数时，就说F( x1,∧,xn)为原始递归谓词。 　　如 P(x)：表示 x = 0 　　　　　ctP(x)= 　 　P(x,y)：表示 x ＜ y 　　　　　 　　 P(x)：表示x是偶数 　　　　　 　　从而这三个谓词都是原始递归的谓词。 　　（3）定理6.3.2 若F,G 是原始递归谓词，则F,F∧G,F∧G 　　若F,G 的特征函数分别为 f,g ，则 　　F 　 特征函数为　　 　　　　　　F∧G　　 　　　　　　F∨G 　 　　　　　　F→G　　　　　　 　　　　　　FG