Queda demostrado que el conjunto vacío no depende del conjunto formula_1 que tomemos para construirlo, luego podemos decir que existe un único conjunto vacío, al que denotaremos por formula_48.