食材鋪反向词典

impredicative

I 开头单词

基本解释

  • adj.非直謂的(非斷言的)

同根派生

     

英汉例句

    用作形容詞 (adj.)

  • This extension is not universally accepted by Intuitionists since it allows impredicative, i.e. circular, constructions, which are often identified with classical reasoning.
    這個擴展不被直覺主義者所普遍接受，因爲它允許非直謂性的，就是循環的搆造，這經常用經典推理來識別。