一個數學定義非直謂性的,如果它依賴於一個事物的集合,至少其中之一是它自身所定義的事物。換句話說,定義是自引用的。

羅素悖論是著名的非直謂性構造:「不包含自身作為成員的所有集合的集合」。悖論是這種集合是否包含自身——如果包含則根據它的定義它應當不是,而如果不是則根據它的定義它應當是。

但是,著名的數學家拉姆齊爭論說,非直謂性定義是絕對需要的。例如,「屋子裏最高的人」是非直謂性的,因為它依賴於某個包含其本身的集合,也就是在屋子中所有人的集合。對於數學,一個非直謂性定義是一個集合中最小元素,它被形式定義為: 若且唯若 ,且對於 的所有元素 ,有 小於等於