기호가 보여 주는 대각선의 논리 구조를 단계별로 정리했다.

그림에서 무엇을 볼까요?

생각그림 5 · 기호가 보여 주는 대각선의 논리 구조를 단계별로 정리했다.

S(x,y)를 “x가 y를 면도한다”라고 쓰고 이발사를 b라 하자. 규칙은 모든 남자 x에 대해 S(b,x) ↔ ¬S(x,x)라고 표현된다. 여기에 x=b를 넣으면 S(b,b) ↔ ¬S(b,b)가 된다. 어떤 문장 P도 P ↔ ¬P를 고전 논리에서 만족할 수 없다. 이 기호화는 면도라는 소재를 벗겨 내고, 관계의 입력 자리에 그 관계를 수행하는 주체 자신을 넣는 대각선 구조를 보여 준다.