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

113 바이트 제거됨 ,  14년 전
보다 형식적으로는, 초한반복 정리의 내용은 다음과 같다.
:모임 함수 <b>G<sub>1</sub></b>, <b>G<sub>2</sub></b>, <b>G<sub>3</sub></b>에 대해, 다음을 만족하는 초한 수열 <b>F</b>가 유일하게 존재한다:
:*dom(<b>F</b>) = Ord (dom은 정의역, Ord는정의역은 모든 서수의 진모임)모임
:*<b>F</b>(0) = <b>G<sub>1</sub></b>(<math>\emptyset</math>)
:*모든 <math>\alpha서수 \in Ord</math>에α에 대해, <b>F</b>(<math>\alpha α+ 1</math>) = <b>G<sub>2</sub></b>(<b>F</b>(<math>\alpha</math>α))
:*모든 극한서수0이 <math>\alpha아닌 \neq극한서수 0</math>에α에 대해, <b>F</b>(<math>\alpha</math>α) = <b>G<sub>3</sub></b>(<b>F</b><math>\upharpoonright \alpha</math>α).
 
==선택공리와의 관계==

편집

4,507