impredicative
常見例句
- This extension is not universally accepted by Intuitionists since it allows impredicative, i.e. circular, constructions, which are often identified with classical reasoning.
這個擴展不被直覺主義者所普遍接受,因為它允許非直謂性的,就是循環(huán)的構造,這經常用經典推理來識別。 返回 impredicative