用超限归纳法定义

_

definition by transfinite induction