정렬 집합

[ZFC Set Theory] VI. 전순서 집합 Well-Ordered SetsBy 초코맛 도비

[lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] $\def\dom{\operatorname{dom}}$$\def\ran{\operatorname{ran}}$ [lang-en]As of the previous post, we've covered the most fundamental parts of the ZFC set theory. As commented in the previous post, we're going to talk about ordinals as of this post. To deal with the ordinals, we need to deal with the well-ordered sets first. Hen..