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

13 바이트 추가됨 ,  1년 전
잔글
잔글 (영어판 분류 정보를 이용.+분류:재귀)
잔글 (→‎정의)
* 임의의 순서수에 대해 <math>P</math>이다.
즉, 만약 어떤 성질이 모든 순서수에 대하여 성립한다는 것을 증명하려면, 임의의 순서수의 실례와 그보다 작은 모든 순서수의 실례 사이의 함의 관계를 증명하면 된다. 이 함의 관계는 보통 순서수의 유형에 따라 경우를 나누어 증명한다. 구체적으로, 다음과 같다.
*# <math>P(0)</math>을 증명한다.
*# 임의의 [[따름 순서수]] <math>P(\beta)+1</math>이면에 대해, <math>P(\beta+1)</math>임을 임의의 [[따름 순서수]]이면 <math>P(\beta+1)</math>에 대해임을 증명한다.
*# 임의의 [[극한 순서수]] <math>\forallalpha</math>에 대해, 모든 <math>\beta<\alpha\colon P(\beta)</math>이면 <math>P(\alphabeta)</math>임을 임의의 [[극한 순서수]]이면 <math>P(\alpha)</math>임을 대해 증명한다.
물론 기술적으로 가능한 경우, 세번째 경우를 임의의 순서수에 대해 증명하는 것으로 전체 증명을 대신할 수도 있다.