러셀의 역설: 두 판 사이의 차이

소박한 집합론은 칸토어(George Cantor)가 발견한 집합론을 당대 그리고 후대 수학자들이 발전시킨 공리 집합론(axiomatic set theory)과 대비시켜 부르는 것이다.  공리 집합론은 유클리드의 수학원론(elements)의 공리화(axiomitization) 방법론을 채택하여 집합론을 체계화 시킨 것이다.  하지만, 이러한 공리화는 러셀의 역설이 주장하는 소박한 집합론의 모순을 극복하기 위해서 시작되었고시작되었다, 소박한 집합론은 그러한 모순을 지니고 있지 않으므로, 공리 집합론은 소박한 집합론이 지닌 풍부함을 제한할 소지가 있을 것이다.   그렇다면, 공리 집합론을 자세히 들여다보면서, 불필요한 공리가 있는지를 살피는 것은 분명히 가치있는 일일 것이다.