Considera la colección definida por la siguiente fórmula simple:V={x∣x is a set and x=x}. SiV se considera como un conjunto, entonces ya queV=V,V∈V. Si ...Considera la colección definida por la siguiente fórmula simple:V={x∣x is a set and x=x}. SiV se considera como un conjunto, entonces ya queV=V,V∈V. Si esto no es una inconsistencia, es al menos inquietante. Considera la colecciónX={x∣x∉x}. EntoncesX∈X if and only if X∉X. Este último ejemplo se llama paradoja de Russell, y demostró que el GCP es falso.