유형을 나누어 자기 적용을 막기의 전제와 귀결을 기호·집합 관계로 정리했다.

그림에서 무엇을 볼까요?

생각그림 12 · 유형을 나누어 자기 적용을 막기의 전제와 귀결을 기호·집합 관계로 정리했다.

러셀이 탐색한 한 대응은 유형 이론이다. 대상을 한 층에, 그 대상들의 집합을 더 높은 층에 두어 같은 층의 표현이 자기 자신에게 곧바로 적용되지 않게 한다. 러셀은 1903년 단순한 유형 구상을 제시했고, 1908년에는 더 정교한 분지 유형 이론을 발표했다. “자기언급은 모두 금지한다”는 한 문장짜리 해법으로 축약하면 역사와 논리를 놓친다. 어떤 표현과 정의를 허용하는지 유형 규칙 전체가 결정한다.