"초한귀납법"의 두 판 사이의 차이

82 바이트 제거됨 ,  6년 전
편집 요약 없음
:*모든 0이 아닌 극한순서수 α에 대해, <b>F</b>(α) = <b>G<sub>3</sub></b>(<b>F</b><math>\upharpoonright</math>α).
 
==선택공리와의선택 공리와의 관계==
초한귀납법을 [[정렬 집합]]에 적용시킬 때는 [[선택 공리]]가 필요하지 않다. 그러나 초한귀납법이 응용되는 여러 경우, [[정렬 정리]]를 사용하여 집합에 정렬 순서를 부여하여야 하는데, 이 경우 [[선택 공리]]가 필요하게 된다.
초한귀납법(혹은 초한반복)이 [[선택공리]]를 필요로 한다는 오해가 널리 퍼져 있으나, 이는 사실과 다르다. 초한귀납법은 임의의 [[정렬집합]]에 대해 적용될 수 있기 때문이다. 그러나 초한귀납법을 사용하기 위해서는 많은 경우 선택공리를 이용해 집합에 정렬순서를 부여할 필요가 있다.
 
{{집합론}}