超穷归纳定义

超穷归纳定义（definition by transfinite induction）是1993年发布的数学名词。