**GEB, стр. 21**
Рассел и Уайтхед: "Изгнание Странных Петель".
Теория типов: множество может содержать только элементы низшего типа.
Никакое множество не содержит себя — оно было бы выше собственного типа.
Парадокс исчез... но ценой иерархии, которая "выглядит натянутой".