克林謂詞(Kleene predicate)一種原始遞歸謂詞.它是美國邏輯學家、數學家克林(Kleene,S.
C.)在討論部分遞歸函式的範式時引進的.直觀上，克林謂詞T (e，二;，二:，…，二二，y)為真，指以。為編號的能行算法在((x xZ,...,xn)處的計算收斂，並且該計算過程以y為編碼.若以u(婦表示以y為編碼的計算過程的計算結果.則以。為編碼的能行算法所確定的。元部分遞歸函式為抓xl}x.Z}...}x,}) _u ( uyT (e,x,，二:}...}x}},J,)).進而，克林還證明了u和T。都可以是原始遞歸的，從而得到了著名的克林範式定理.此外，T，關於n是一致的，即是把n也看成變元後，T，仍是((n+3)元的)原始遞歸謂詞.
C.)在討論部分遞歸函式的範式時引進的.直觀上，克林謂詞T (e，二;，二:，…，二二，y)為真，指以。為編號的能行算法在((x xZ,...,xn)處的計算收斂，並且該計算過程以y為編碼.若以u(婦表示以y為編碼的計算過程的計算結果.則以。為編碼的能行算法所確定的。元部分遞歸函式為抓xl}x.Z}...}x,}) _u ( uyT (e,x,，二:}...}x}},J,)).進而，克林還證明了u和T。都可以是原始遞歸的，從而得到了著名的克林範式定理.此外，T，關於n是一致的，即是把n也看成變元後，T，仍是((n+3)元的)原始遞歸謂詞.
