[计]?有界全称量词

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