bounded universal quantifier的意思|示意

有界全称量词 不幸的是， 在戴维斯找到的关联中用到了一个被称为有界全称量词 (Bounded Universal Quantifier) 的逻辑算符。 如果没有这个有界全称量词， 他就可以证明所有的递归可枚举集都是丢番图集， 一切就大功告成了。

翻译 ... Bordet's phenomenon翻译 【医】 博代氏现象(人血清沉淀试验) bounded universal quantifier翻译 【计】 有界全称量词 Berard's ligament翻译 【医】 贝腊尔氏韧带, 心包悬韧带(附着第三、四胸椎) ...