逆数学 逆数学Reverse mathematics是数学的一个分支大致可以看成是从定理导向公理而不是通常的方向从公理到定理更精确一点它试图通过找出证明所需的充分和必要的公理来评价一批常用数学结果的逻辑有效性 该领域由Harvey Friedman在其文章二阶算术系统及其应用Some systems of second order arithmetic and their use中创立它被Stephen G Simpson和他的学生以及其他一些人所追随Simpson写了关于该主题的参考教科书二阶算数的子系统Subsystems of Second Order Arithmetic本条目大部分内容取自该书的简介性质的第一章其他参考读物的细节参看参考