... impredicative set theory 非断言集论 impredicative 非断言的 imprimitive group 非本原群 ...
基于16个网页-相关网页
impredicative definition 非断言定义 ; 非直谓定义
impredicative set theory [数] 非断言集论
narrow impredicative 狭义非直谓
Impredicative Reasoning 非直谓性推理
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]
应用推荐