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

507 바이트 제거됨 ,  5년 전
'''공리적 집합론'''은 술어논리를 이용하여 기술한 체계를 가지고 집합의 성질을 규명하는 수학의 한 분야이다.
=== 일차 술어논리를 사용한 공리적 집합론 ===
\것이다.
물론 변수 <math>X</math>는 <math>\nu</math>들 중 어느 하나라도 같아서는 안 된다.
그런데 이 공리는 도입하는 즉시 러셀 타입의 역설에 직면하게 된다.
이를 피하기 위해 여러 방법이 사용되는데, 크게 세 가지로 구분된다.
하나는 분리공리만을 허용하는 것이고, 또 하나는 변수의 타입을 집합과 유로 구분하는 것이고, 또 하나는 사용할 수 있는 논리 공식에 제한을 두는 것이다.
 
== 함께 보기 ==
익명 사용자