They can continue by transfinite induction.

• 利用超限归纳法，他们可继续下去。