[ZFC Set Theory]
(lang-en)이전 게시물을 보려면(/lang-en)(lang-ko)이전 게시물을 보려면(/lang-ko) $\def\Ord{\운영자 이름{Ord}}$ (lang-ko)이번 포스트에서는 이전 포스트에서 언급한 바와 같이 well-ordered set의 ordinal type인 ordinal number의 공식적인 정의를 하도록 하겠습니다. 당신이 그들을 생각한다면 정리 VI.6., $W_1$의 주문 유형이 $W_2$의 주문 유형보다 작다고 생각하는 것은 $W_1$가 $W_2$의 초기 세그먼트와 동형인 주문인 경우에만 가능합니다. 그러면 이것을 공식적으로 어떻게 정의할 수 있습니까? 핵심 아이디어는 … Read more