超限帰納法
超限帰納法(ちょうげんきのうほう、英: Transfinite induction)は、数学的帰納法の整列集合上への拡張である、例えば順序数や基数の集合の上で行う。この手法の正当性はZFCの定理である。