초한 귀납법: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
봇: 인용 틀 변수 이름 수정 |
||
19번째 줄:
*A<sub>0</sub>을 정의한다.
*임의의 따름순서수 β+1에 대해, A<sub>β</sub>가 주어져 있을 때 A<sub>β+1</sub>를 정의하는 방법을 규정한다. (필요할 경우 β보다 작은 모든 γ에 대해 A<sub>γ</sub>에도 의존하도록 정의해도 된다.)
*임의의 극한순서수 λ에 대해, λ보다 작은 모든 γ에 대해 A<sub>γ</sub>들이 주어져 있을 때 A<sub>λ</sub>을 정의하는 방법을 규정한다.
보다 형식적으로는, 초한 반복 정리의 내용은 다음과 같다.
:모임 함수
:*
:*
:*모든 순서수 α에 대해,
:*모든 0이 아닌 극한순서수 α에 대해,
==선택 공리와의 관계==
34번째 줄:
* {{eom|title=Transfinite recursion}}
* {{매스월드|id=TransfiniteInduction|title=Transfinite induction}}
* {{웹 인용|url=http://jdh.hamkins.org/transfinite-recursion-as-a-fundamental-principle-in-set-theory/|제목=Transfinite recursion as a fundamental principle in set theory|이름=Joel David|성=Hamkins|날짜=2014-10-20|
{{집합론}}
[[분류:순서수]]
[[분류:증명]]
|