初等謂詞

初等謂詞(elementary predicate)一種數論謂詞.若數論謂詞P的特徵函式為初等函式，則稱P為初等謂詞，若一個集合A的特徵函式為初等函式，則稱A為初等遞歸集，簡稱初等集.