超限归纳法 超限归纳法英語Transfinite Induction是数学归纳法向大良序集合比如基數或序数的集合的扩展