Esta premisa plantea la posibilidad de formar un conjunto que contenga exactamente a aquellos conjuntos que no se incluyen a sí mismos. Sin embargo, al analizar esta premisa y las implicaciones que conlleva, se llega a una contradicción lógica, lo que constituye la paradoja.