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

1 바이트 제거됨 ,  1년 전
(초등학교 빼고 고등학교를 넣어놓음)
일반적으로 대상 <math>x</math>가 <math>\mathrm{Set}(x)</math>를 만족하면 <math>x</math>를 집합이라 한다.
이 술어기호가 없는 집합론에서는 모든 대상을 집합으로 간주한다. 집합이 없는 대상을 원자(아톰, atom)이라 한다.
만일 <math>x \in X</math>이면 '<math>x</math>가 <math>X</math>의 원소다' 혹은 '<math>X</math>가 <math>x</math>를 포함한다((원소로) 가진다)'고 한다. 이는 기호로 표현한 것을 설명한다기 보다는설명한다기보다는 자연어로 옮기는 방법을 서술한 것에 가깝다.
 
어떤 공리적 집합론에서도 보통 확장 공리는 채택하는 편이다.
익명 사용자