narrow impredicative狭义非直谓
Impredicative Reasoning非直谓性推理
impredicative definition非断言定义;非直谓定义
generalized impredicative广义非直谓
impredicative set theory[数] 非断言集论
the method of impredicative definition非直谓定义法
ADJ（形容词） (of a definition) given in terms that require quantification over a range that includes that which is to be defined, as having all the properties of a great general where one of the properties as ascribed must be that property itself (指定义)非断言的 [logic]