러셀의 역설 (Russell's Paradox)
쉽게 풀면
'자기 자신을 포함하지 않는 모든 집합들의 모임'을 R이라고 하자. 그렇다면 R은 R 자신을 포함할까? 만약 포함한다면 R은 'R을 포함하지 않는 집합'이라는 정의를 어기게 되고, 포함하지 않는다면 정의에 따라 R은 R을 포함해야 하는 모순에 빠진다. 이것이 러셀의 역설이다.
왜 중요한가
자기 자신을 원소로 포함하지 않는 모든 집합들의 집합을 상정하면 그 집합이 자기 자신을 포함하는지 여부에서 모순이 발생하는 러셀의 역설로, 소박한 집합론의 근본적 결함을 드러내 공리적 집합론 발전의 계기가 됐다.
논문에서는 이렇게 쓰입니다
버트런드 러셀이 이 역설을 통해 임의의 조건을 만족하는 대상들의 모임을 무제한적으로 집합으로 인정하던 소박한 집합론 체계가 논리적으로 붕괴한다는 것을 보여, 이후 체르멜로-프렝켈 공리계와 같은 엄격한 집합론이 등장하는 계기가 되었음을 설명한다.
역설 자체보다 그것이 촉발한 이후의 이론적 대응이 논리학과 집합론 발전에 미친 영향을 보여주는 문장입니다.
조금 더 깊게 보면
이 역설은 프레게의 논리주의 기획에 치명적 타격을 입혔으며, 이후 체르멜로-프렝켈 공리계나 유형이론 같은 정교한 집합론 체계가 이 역설을 회피하도록 고안되는 계기가 됐다. 러셀은 이 역설을 이발사의 역설(자신을 스스로 면도하지 않는 모든 사람만 면도해주는 이발사는 자신을 면도하는가)이라는 비유로도 제시했으며, 이는 자기지시적 정의가 무제한 허용될 때 생기는 문제의 대중적 설명으로 널리 쓰인다. 러셀 자신은 이 역설을 해결하기 위해 유형이론(type theory)을 고안했는데, 이는 집합과 그 원소가 서로 다른 논리적 유형(계층)에 속하도록 강제해 자기 자신을 원소로 갖는 집합의 구성 자체를 문법적으로 차단하는 방식이다.
주의할 점
러셀의 역설은 단순한 말장난이 아니라, 당대 최고의 논리학자였던 프레게가 심혈을 기울인 형식 체계 자체를 무너뜨린 실질적인 수학적 모순이었다는 역사적 중요성을 기억해야 한다. 러셀의 역설은 집합이 자기 자신을 원소로 포함하는지를 묻는 것 자체가 문제가 아니라, 임의의 조건으로 무제한 집합을 구성할 수 있다는 소박한 집합 형성 원리(포괄원리)가 문제의 근원이라는 점에 유의해야 한다.