러셀이 고른 대각선 조건의 전제와 귀결을 기호·집합 관계로 정리했다.

그림에서 무엇을 볼까요?

생각그림 5 · 러셀이 고른 대각선 조건의 전제와 귀결을 기호·집합 관계로 정리했다.

버트런드 러셀은 1901년 무렵 “자기 자신의 원소가 아닌 집합”이라는 조건을 생각했다. 발견한 정확한 달에 관한 그의 회고는 서로 달라 단정하기 어렵지만, 1902년 6월 16일 고틀로프 프레게에게 보낸 편지에는 문제가 분명히 적혀 있다. 러셀은 자기 자신을 원소로 갖지 않는 집합들의 모임이 하나의 완성된 집합을 이루는지 물었다. 이는 기묘한 예 하나가 아니라 당시의 집합 형성 원리를 시험하는 질문이었다.