量化)。但是，已经说过在有些数学分支中比如拓扑学中，需要二阶逻辑的能力来做完整的表达。这方面的工作已经由Stephen G. Simpson在逆数学的名义下完成了。已经证明了二阶逻辑不只对表达经典数学的某些重要部分是必须的，而且它也可以用做模型论和数学基础的工具。
存在性片段在有限结构上的能力.单类二阶逻辑（MSO）的存在性片段（EMSO）是没有全称量词的二阶逻辑。在词formula_3之上，所有的MSO公式都可以转换成确定的有穷自动机。它可以再转换成EMSO公式。所以