러셀의 집합 역설과 닮은 뼈대의 논리 구조를 단계별로 정리했다.
생각그림 10 · 러셀의 집합 역설과 닮은 뼈대의 논리 구조를 단계별로 정리했다.
그림에서 무엇을 볼까요?
생각그림 10 · 러셀의 집합 역설과 닮은 뼈대의 논리 구조를 단계별로 정리했다.
스스로를 원소로 갖지 않는 모든 집합의 모임 R을 생각하면 R∈R ↔ R∉R이라는 같은 모양이 나타난다. 이발사 규칙의 S(b,b) ↔ ¬S(b,b)와 구조가 닮았다. 그러나 마을 이야기에서는 그런 이발사가 없다고 하면 끝난다. 집합의 경우에는 “어떤 조건이든 집합을 만든다”는 기초 원리가 수학 체계 안에서 문제를 일으킨다. 그 차이는 다음 13회에서 따로 다룬다.
