在可计算可枚举度中实现一个量词的公式，丁德成，王玮，首先我们定义不可辨元的一种约束形式并且研究其在可计算可枚举度中的存在性。其次我们证明了一个量词公式和多个量词公式在可计算
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
