Impredicativity
- 非直谓性（一个数学定义是非直谓性的，如果它依赖于一个事物的集合，至少其中之一是它自身所定义的事物。换句话说，定义是自引用的）
Impredicativity
-
abstract:
In mathematics and logic, impredicativity is the property of a self-referencing definition. More precisely, a definition is said to be impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set which contains the thing being defined.
以上来源于:
WordNet