구성 가능성 공리

위키백과, 우리 모두의 백과사전.
(구성가능성 공리에서 넘어옴)
이동: 둘러보기, 검색

집합론에서, 구성 가능성 공리(構成可能性公理, 영어: axiom of constructibility, 기호 V=L)는 모든 집합이 구성 가능하다는 명제이다.

정의[편집]

구성 가능성 공리에 따르면, 임의의 집합 S에 대하여, S\in L_\alpha순서수 \alpha가 존재한다. 여기서 L_\alpha구성 가능 전체의 한 단계이다.

이에 따라, 폰 노이만 전체 V구성 가능 전체 L은 같게 된다.

성질[편집]

체르멜로-프렝켈 집합론 + 구성 가능성 공리로부터, 다음 명제들을 보일 수 있다.

참고 문헌[편집]

같이 보기[편집]