在可计算可枚举度中实现一个量词的公式，丁德成，王玮，首先我们定义不可辨元的一种约束形式并且研究其在可计算可枚举度中的存在性。其次我们证明了一个量词公式和多个量词公式在可计算