集合论（ZFC）之 归纳（Induction）与超限归纳（Transfinite Induction）

        简言而至，归纳一般指的是定义在自然数上的归纳，而超限归纳是定义在序数上的归纳。

        归纳是一种分析方式，其目的是为了证明一个集合 C 中所有的元素都具备某一属性 P，记 P(a),  a ∈ C。其中，集合C具备序数结构。那么归纳法就利用集合C中的序数结构，用以证明其所有的元素都具备属性P。

        定义在自然数上的归纳，因自然数由 零（0, Zero）与后继者（+1, Successor）两种方式构成，那么，归纳需要证明，元素 零 具备属性 P，即

P(0)；

        在前者成立的情况下，后继者成立，即

P(a) → P(a + 1)。

        对于，超限归纳，除了上述两情况外，还需要证明，在零与后继者都成立的情况下，其对应的极限序数亦具备属性P，即

∀n<ω.(P(n)) → P(ω)。

        这是由于集合中元素间的良序关系，提供了这种归纳法有效性，使其得以实现，从最小元素起，开始证明，并使用已证明的属性，为下一个元素提供条件，去证明下一个元素，如此类推，而超限归纳是将极限序数纳入考虑范畴，使得整个证明的过程覆盖所有的序数。