超限帰納法ウィキペディア フリーな encyclopedia 超限帰納法(ちょうげんきのうほう、英: Transfinite induction)は、数学的帰納法の整列集合上への拡張である、例えば順序数や基数の集合の上で行う。この手法の正当性はZFCの定理である。[1] ω ω {\displaystyle \omega ^{\omega }} までの順序数の表現。螺旋の各回転は ω {\displaystyle \omega } の1回冪を表す。超限帰納法では、基本ケース(0に対応)、後続者ケース(後続順序数に対応)、極限ケース(極限順序数に対応)で証明する必要がある。
超限帰納法(ちょうげんきのうほう、英: Transfinite induction)は、数学的帰納法の整列集合上への拡張である、例えば順序数や基数の集合の上で行う。この手法の正当性はZFCの定理である。[1] ω ω {\displaystyle \omega ^{\omega }} までの順序数の表現。螺旋の各回転は ω {\displaystyle \omega } の1回冪を表す。超限帰納法では、基本ケース(0に対応)、後続者ケース(後続順序数に対応)、極限ケース(極限順序数に対応)で証明する必要がある。