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

416 바이트 추가됨 ,  14년 전
잔글
편집 요약 없음
잔글
잔글
 
즉, 위의 세 가지 성질이 성립할 경우 P(α)는 모든 서수 α에 대해 참이다. 여기서 수학적 귀납법과의 유일한 차이는, 서수는 계속 1을 더해가는 방법으로는 전부 만들어낼 수 없기에 극한서수의 경우를 따로 고려해준다는 것 뿐이다. 위의 내용을 잘 보면 알 수 있듯이 따름서수의 경우와 극한서수의 경우에서 증명할 내용은 사실상 동일하다.
 
==선택공리와의 관계==
초한귀납법(혹은 초한반복)이 [[선택공리]]를 필요로 한다는 오해가 널리 퍼져 있으나, 이는 사실과 다르다. 초한귀납법은 임의의 정렬순서집합에 대해 적용될 수 있기 때문이다. 그러나 초한귀납법을 사용하기 위해서는 많은 경우 선택공리를 이용해 집합에 정렬순서를 부여할 필요가 있다.
 
[[분류:서수]]

편집

4,507