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

1 바이트 제거됨 ,  4년 전
그런데 이 공리는 도입하는 즉시 [[러셀의 역설]]과 유사한 역설에 직면하게 된다.
이를 피하기 위해 여러 방법이 사용되는데, 크게 세 가지로 구분된다.
하나는 분리공리만을 허용하는 것이고, 또 하나는 변수의 타입을 집합과 유로 구분하는 것이고, 또 하나는 사용할 수 있는 논리 공식에 제한을 두는 것이다.
 
== 같이 보기 ==
익명 사용자