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

2 바이트 추가됨 ,  1년 전
어떤 공리적 집합론에서도 보통 확장 공리는 채택하는 편이다.
확장 공리는 `집합 <math>X</math>와 <math>Y</math>가 가지는 원소가 서로 꼭 같다면 <math>X=Y</math>이다.'를 말한다.
기호로 <math>\forall X \forall Y ((\mathrm{Set}(X) \wedge \mathrm{Set}(Y)) \rightarrow (\forall z (z \in X \leftrightarrow z \in Y) \rightarrow (X=Y))</math>로 쓸 수 있다.
 
이제 소박한 집합론에서 말하는 '분명히 구별되는 대상들의 모임이 집합'이라는 정의를 공리적 집합론으로 가져오면 다음과 같이 표현할 수 있다.
익명 사용자