理一个存在量词配上若干个文字合取的情形；换言之，即证明每个形如formula_5 （其中每个formula_6都是文字）的公式都在该理论中等价于一个无量词的公式——诚然，假设已知如何对一串公式的合取消去量词，则若formula_7是个公式，可将其写作析取范式：并运用 formula_9等价于formula_10此一性质。最后，为了消去全称量词 formula_11，其中formula_7不带量词，我们将formula_13写作析取范式，并运用formula_11等价于formula_15一性质，遂证得