克林 p 函(Kleene p-functions)可用來表示以下量詞：「存在最小的正整數 n 使得...」及「第 n 個正整數使得...」。