超限归纳法
将数学归纳法推广到良序集的一种证明方法
条目
超限归纳法（transfinite induction）也称超穷归纳法，是用超限归纳原理证明命题的方法，是数学归纳法的推广，其已经把数学归纳法推广到了最为一般的情况，即突破了自然数可以一个一个数下去的性质。[1][6]
1883年，数学家康托尔（Cantor）在《集合论基础》中为良序集编号。[7]之后人们在研究集合论良序集的概念后发现，数学归纳法可以推广到一般的良序集 ，从而得到了超限归纳法的概念。[8]超限归纳法要求相应的集合为良序集。[9]
与超限归纳法类似的理论有数学归纳法以及连续归纳法。[10]超限归纳法可应用于数学以及经济问题中，如证明图与包装的问题，从而得到可否包装的结论，还可以证明基金最佳使用方案等。[3][4][5]