| 释义 |
impredicative 英ɪmprɪ'dɪkətɪv美ɪmprɪ'dɪkətɪv
基本例句
adj.非直谓的非断言的
形容词100%
用作形容词This extension is not universally accepted by Intuitionists since it allowsimpredicative, i.e. circular, constructions, which are often identified with classical reasoning.这个扩展不被直觉主义者所普遍接受，因为它允许非直谓性的，就是循环的构造，这经常用经典推理来识别。 |