摘要： 合理的投票系统都是操纵的，决策形成过程中的防策略投票问题属于社会选择应用领域的前沿问题。分别从模态逻辑、一阶逻辑、命题逻辑的角度，研究了防操纵社会选择机制的核心理论———防策略不可能性定理。希望由此引发对这一领域感兴趣的学者做进一步的探究。