GEB, стр. 19–20
Парадокс Рассела: множество всех "заурядных" множеств (не содержащих себя).
Морж — не множество моржей. Но множество всех множеств содержит себя.
Если R = {все заурядные множества}, то R заурядное или самозаглатывающее?
Любой ответ → противоречие.
🌀 Виновник: автореферентность.