逆数学 - Mathpedia

逆数学 (reverse mathematics) は数学の定理の強さ、すなわちその定理を証明するためにどのくらいの仮定、すなわち公理が必要なのか分析する分野である。逆数学の「逆」は定理と公理の同値性を示すために、「定理から公理を証明する」訳であるが、これが通常の数学での「公理から定理を証明する」の逆であることにちなむ。 二階算術 通常の数学の定理の強さを分析するためにはZermelo–Fraenkelの集合論、$\mathsf{ZF},\mathsf{ZFC}$などは強すぎる。もちろん、「 $\mathsf{ZF}$ 上でZornの補題と選択公理が同値」や 「$\mathsf{ZF}$ 上でBoole素イデアル定理と完全性定理の同値」、「$\mathsf{ZF}$ 上で $\mathbf{\Sigma}^1_1$ の決定性と任意の集合に対してそのシャープが存在することは同値」などの逆数学