Well-Founded Induction

[ZFC Set Theory] X. 정합 관계 Well-Founded RelationsBy 초코맛 도비

[lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] [lang-en]As commented in the last post, we will talk about the well-founded relations, which generalize the concept of well-ordering. Informally, a well-founded relation is a binary relation that each element can be assigned an ordinal called "rank". The "height" of set can be defined, of course. Or, it can be considered as ..