Paradoja de Russell
Definición
Paradoja en teoría de conjuntos que muestra que la comprensión no restringida (formar el conjunto de todos los elementos que satisfacen una propiedad arbitraria) conduce a contradicción, clásicamente exhibida por R = {x | x ∉ x}.