This form of induction, when applied to ordinals (which form a well-ordered and hence well-founded set), is called transfinite induction. It is an important proof technique in set theory, topology and other fields. |
This form of induction, when applied to ordinals (which form a well-ordered and hence well-founded class), is called transfinite induction. It is an important proof technique in set theory, topology and other fields. |