逆数学

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