查看“︁非直谓性”︁的源代码

一个[[数学]][[定义]]是'''非直谓性'''的，如果它依赖于一个事物的集合，至少其中之一是它自身所定义的事物。换句话说，定义是[[自引用]]的。

[[罗素悖论]]是著名的非直谓性构造：“不包含自身作为成员的所有集合的集合”。悖论是这种集合是否包含自身——如果包含则根据它的定义它应当不是，而如果不是则根据它的定义它应当是。

但是，著名的数学家[[弗兰克·普伦普顿·拉姆齐|拉姆齐]]争论说，非直谓性定义是绝对需要的。例如，「屋子里最高的人」是非直谓性的，因为它依赖于某個包含其本身的集合，也就是在屋子中所有人的集合。对于数学，一个非直谓性定义是一个集合中最小元素，它被形式定义为：<math> y=\min(X)</math> 当且仅当 <math>y \in X</math>，且对于 <math>X</math> 的所有元素 <math> x </math>，有 <math>y</math> 小于等于 <math>x</math>。 

{{logic-stub}}
[[Category:數理邏輯|F]]
[[Category:递归]]