\(S(x) = x \in \{x' : x' \in x'\}; R \equiv \{x : \lnot S(x)\}; R \in R?\)

\((R\in R) \land (R \notin R)\)…