구성 가능 전체: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→모형 이론적 성질: 구성 가능성 공리를 병합하기 위해 수정 |
→구성 가능 전체: 구성 가능성 공리를 병합하기 위해 수정 |
||
42번째 줄:
이다. 또한, 만약 <math>\alpha</math>가 유한하다면 <math>L_\alpha=V_\alpha</math>이다.
'''구성 가능성 공리'''는 모든 집합이 구성 가능하다는 명제이다. 즉, <math>V=L</math>이라는 명제이다 (<math>V</math>는 [[폰 노이만 전체]]). 즉, 구성 가능성 공리에 따르면 임의의 [[집합]] <math>S</math>에 대하여 <math>S\in L_\alpha</math>인 [[순서수]] <math>\alpha</math>가 존재한다. 만약 [[구성 가능성 공리]]가 성립하고, 또한 [[순서수]] <math>\alpha</math>에 대하여 <math>\alpha=\aleph_\alpha</math>라면,
:<math>L_\alpha=V_\alpha</math>
이다. (예를 들어, 이는 <math>\alpha</math>가 [[도달 불가능한 기수]]일 경우 성립한다.)
| |||