기수 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→참고 문헌: 봇: 인용 틀 변수 이름 수정 |
|||
36번째 줄:
=== 바로 뒤 기수 ===
[[선택 공리]]를 가정하면, 모든 기수 <math>\kappa</math>에 대하여 그 '''바로 뒤 기수'''({{llang|en|successor}}) <math>\kappa^+</math>가 존재한다. 이는 <math>\kappa<\lambda<\kappa^+</math>인 기수 <math>\lambda</math>가 존재하지 않는 기수 <math>\
:<math>\aleph_{\alpha}^+=\aleph_{\alpha+1}</math>
이다.
|