丟番圖謂詞(Diophantine predicate)一種特殊謂詞.它是可表示為帶量詞的整係數多項式等於0的形式的謂詞.若一謂詞M(x,，二:，…，二。)可以表示成」y1}y2...gym(p(x,}xZ,...,xn,y,}y2}...,ym}-o>的形式，其中p為整數係數多項式，則稱M為丟番圖謂詞(表達式和量詞的定義域為自然數).因此，一個丟番圖謂詞對應於某個丟番圖等式的可解性.1970年，馬季亞謝維奇(Matijacevic , Y)證明了一謂詞為部分可判定，若且唯若它為丟番圖謂詞.因此存在不可判定的丟番圖謂詞.這一結論證明了希爾伯特第十問題是不可解的.
