impredicative

常見(jiàn)例句

用作形容詞 (adj.)

• This extension is not universally accepted by Intuitionists since it allows impredicative, i.e. circular, constructions, which are often identified with classical reasoning.
  這個(gè)擴(kuò)展不被直覺(jué)主義者所普遍接受，因爲(wèi)它允許非直謂性的，就是循環(huán)的搆造，這經(jīng)常用經(jīng)典推理來(lái)識(shí)別。
返回 impredicative