![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn_A_intersect_B.svg/langko-640px-Venn_A_intersect_B.svg.png&w=640&q=50)
집합론
추상적 대상들의 모임인 집합을 연구하는 수학 이론 / From Wikipedia, the free encyclopedia
집합론(集合論, 영어: set theory)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이다. 집합론은 술어논리학과 함께 대부분의 수학기초론 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn_A_intersect_B.svg/320px-Venn_A_intersect_B.svg.png)
소박한 집합론에서는 집합을 단순히 대상들을 모아서 만들어지는 자명한 개념으로 이해한다. 중학교 및 고등학교 등의 교육과정에서 다루는 집합의 개념은 이에 해당한다.
소박한 집합론의 모순을 해결하기 위해 등장한 공리적 집합론은 집합들과 그 포함관계가 만족하는 공리들을 규정하는 방법으로 집합을 간접적으로 정의한다. 여기에서 집합과 그 포함관계는 유클리드 기하에서의 점이나 선과 같은 무정의 용어로 볼 수 있다. 공리적 집합론은 대부분의 경우 대학에서 수학을 전공하지 않는 이상 배우지 않는다.