超限歸納法

超限歸納法 （ Transfinite Induction ） 是數學歸納法向 （ 大 ） 良序集合比如基數或序數的集合的擴展 。