它和一般的数学归纳法的区别是：超限归纳法可以推广到无穷，例如对一个无穷函数空间，归纳过程可以是从一个有限子空间开始，每次向上推一维，最终得到对于整个空间成立的命题。这种归纳法必须依赖于 良序公理 。 公理集合论 （学科代码：1101450， GB/T 13745—2009 ） 集合 ▪ 空集 ▪ 交集 ▪ 并集 ▪ 差集 ▪ 补集 ▪ 对称差 ▪ 指标集 ▪ 多重集 ▪ Cartesian 积 映射 ▪ 单射 和 满射 ▪ 双射 ▪ 逆映射 ▪ 基数 和 集合的势 ▪ 可数集 二元关系 ▪ 二元运算 ▪ 单位元 ▪ 零元 ▪ 逆元 ▪ 序关系 和 偏序集的运算 ▪ 等价关系 选择公理 ▪ Zorn 引理 ▪ 良序公理 ▪ 数学归纳法 和超限归纳原理 所在位置： 数学 （110）→ 数理逻辑与数学基础 （11014）→ 公理集合论 （1101450）