\(\mathcal P\)aradoja de Russel

 Se define $R$ como el conjunto de todos los conjuntos que no son miembros de sí mismos:$$R = \{x \mid x \notin x\}$$

Al evaluar el propio objeto $R$ dentro de su condición ($x = R$), se genera la bicondicional:$$R \in R \iff R \notin R$$