«Назовём R "множество всех множеств, которые себя не содержат". Если R не содержит себя, оно должно содержать себя. Но если R содержит себя, оно по определению не должно содержать себя. То есть R содержит себя если (и только если!) оно не содержит себя.»