Este axioma pues, para empezar, nos permite asegurar que existe algún conjunto, y por ende, existen todos los conjuntos que podamos construir a partir de él con los axiomas que hemos definido hasta ahora.