선택 공리가 추가된 체르멜로-프렝켈 집합론

선택 공리가 추가된 체르멜로-프렝켈 집합론

체르멜로 공리계

체르멜로 공리계는 러셀의 역설로 드러난 집합론의 문제점을 보완하기 위해 도입된 공리계로, 이상의 일곱가지 공리들을 일컫는다. 한편 이와 대비되는 용어로써 칸토어가 제창했던 집합론을 미숙한 집합론Naive Set Theory이라고도 부른다. 체르멜로 공리계는 칸토어 집합론과 달리 자연어로 정의된 많은 개념들을 수리논리적으로 명확히 정의하고 그 존재성을 공고히 하는 공리들을 포함하고 있다. 공집합, 합집합, 교집합, 멱집합 등은 이미 충분히 자연스러운 개념으로 취급되었으나, 사실 그런 말만으로는 충분하지가 않았던 것이다.

체르멜로-프렝켈 공리계

거기에 위의 두 가지를 더한 것을 체르멜로-프렝켈 공리계, 줄여서 ZF 공리계라고 한다.

선택공리가 추가된 체르멜로-프렝켈 공리계

마지막으로, 선택 공리가 추가된 체르멜로-프렝켈 공리계를 ZFC 공리계라고 줄여 부른다. 선택 공리는 곱씹을수록 당연한지만은 않지만 선택 공리를 받아들였을 때 얻을 수 있는 결과가 매우 유용하기 때문에 보통 받아들이는 편이며, 현대 주류 수학에서 집합론의 공리계라고 하면 ZFC 공리계를 의미한다고 보아도 무방하다. 선택 공리가 실제로 참이든 거짓이든 ZF 하에서는 모순이 없기 때문에 거부해도 상관은 없으나, 그런 일은 거의 없다.

댓글