문제의 집합 R을 정의하기의 전제와 귀결을 기호·집합 관계로 정리했다.

그림에서 무엇을 볼까요?

생각그림 6 · 문제의 집합 R을 정의하기의 전제와 귀결을 기호·집합 관계로 정리했다.

자기 자신의 원소가 아닌 모든 집합을 모은 집합을 R이라고 가정하자. 기호로는 R={x | x∉x}이다. 이 정의에서 x는 집합을 가리키고, R에 들어가기 위한 조건은 x가 자기 자신의 원소가 아니라는 것이다. 이제 다른 집합 대신 R 자신을 x 자리에 넣는다. R도 집합이라면 원소 조건의 적용 대상에서 빠질 이유가 없다는 점이 대각선 논증의 출발점이다.