非直謂性

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

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

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