非直謂性

一個數學定義是非直謂性的 ， 如果它依賴於一個事物的集合 ， 至少其中之一是它自身所定義的事物 。 換句話說 ， 定義是自引用的 。 羅素悖論是著名的非直謂性構造 ： “ 不包含自身作爲成員的所有集合的集合 ” 。 悖論是這種集合是否包含自身 — — 如果包含則根據它的定義它應當不是 ， 而如果不是則根據它的定義它應當是 。 但是 ， 著名的數學家拉姆齊爭論說 ， 非直謂性定義是絕對需要的 。 例如 ， 「 屋子裏最高的人 」 是非直謂性的 ， 因爲它依賴於某個包含其本身的集合 ， 也就是在屋子中所有人的集合 。 對於數學 ， 一個非直謂性定義是一個集合中最小元素 ， 它被形式定義爲 ： 當且僅當 ， 且對於 的所有元素 ， 有 小於等於 。 F Category: 遞歸