超限归纳法
维基百科,自由的
encyclopedia
超限归纳法
(英语:
Transfinite Induction
)是
数学归纳法
向(大)
良序集合
比如
基数
或
序数
的集合的扩展。