"집합론"의 두 판 사이의 차이

크기가 바뀐 것이 없음 ,  1년 전
초등학교 빼고 고등학교를 넣어놓음
잔글 (봇: 틀 이름 및 스타일 정리)
(초등학교 빼고 고등학교를 넣어놓음)
'''집합론'''(集合論, {{llang|en|set theory}})은 [[추상적 대상]]들의 모임인 [[집합]]을 연구하는 [[수학]] 이론이다. 집합론은 [[술어논리학]]과 함께 대부분의 [[수학기초론]] 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다.
 
[[소박한 집합론]]에서는 집합을 단순히 대상들을 모아서 만들어지는 자명한 개념으로 이해한다. 초등학교중학교중학교고등학교 등의 교육과정에서 다루는 집합의 개념은 이에 해당한다.
 
소박한 집합론의 모순을 해결하기 위해 등장한 [[공리적 집합론]]은 집합들과 그 포함관계가 만족하는 [[공리]]들을 규정하는 방법으로 집합을 간접적으로 정의한다. 여기에서 집합과 그 포함관계는 [[유클리드 기하]]에서의 [[점 (수학)|점]]이나 [[직선|선]]과 같은 [[무정의 용어]]로 볼 수 있다. 공리적 집합론은 대부분의 경우 대학에서 수학을 전공하지 않는 이상 배우지 않는다.
익명 사용자