Dado un (presunto) conjunto nos basta con llegar a una contradicción con el resto de la teoría después de haber supuesto su existencia para demostrar que no existe tal conjunto.