초한 귀납법: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →선택공리와의 관계 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
28번째 줄:
:*모든 0이 아닌 극한순서수 α에 대해, <b>F</b>(α) = <b>G<sub>3</sub></b>(<b>F</b><math>\upharpoonright</math>α).
==
초한귀납법을 [[정렬 집합]]에 적용시킬 때는 [[선택 공리]]가 필요하지 않다. 그러나 초한귀납법이 응용되는 여러 경우, [[정렬 정리]]를 사용하여 집합에 정렬 순서를 부여하여야 하는데, 이 경우 [[선택 공리]]가 필요하게 된다.
{{집합론}}
|