Based on the theoretic model of algebraical prime and simple closed properties,a new short proof for quantifier elimination of the theory of complete dense binary orders was presented.

• 利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明。