[whiterock]

Let R = {X \notin X}, i.e. all sets that do not contain themselves. Now is R \in R? Well this is the case if and only if R \notin R. But this clearly cannot be.

Like the barber that shaves all men not shaving themselves.