2015년 7월 12일 (일) 00:41 판 편집 Hohaen1 (토론 \| 기여) 7,021 편집 편집 요약 없음 ← 이전 편집		2015년 8월 31일 (월) 20:07 판 편집 편집 취소 220.84.211.144 (토론) →‎일차 술어논리를 사용한 공리적 집합론 다음 편집 →
23번째 줄: 그런데 이 공리는 도입하는 즉시 [[러셀의 역설]]과 유사한 역설에 직면하게 된다. 이를 피하기 위해 여러 방법이 사용되는데, 크게 세 가지로 구분된다. 하나는 분리공리만을 허용하는 것이고, 또 하나는 변수의 타입을 집합과 유로 구분하는 것이고, 또 하나는 사용할 수 있는 논리 공식에 제한을 두는 것이다. == 같이 보기 ==

집합론: 두 판 사이의 차이