Transfinite Induction

[ZFC Set Theory] VIII. 초한 귀납법 Transfinite InductionBy 초코맛 도비

[lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] $\def\Ord{\operatorname{Ord}}\def\ran{\operatorname{ran}}$ [lang-en]In the previous post, we discussed what ordinal numbers are and what their properties are. In this post, we are going to talk about the transfinite induction. The transfinite induction is a kind of extension of the mathematical induction. Now, let's take a m..