En teoría axiomática de conjuntos, la existencia del conjunto potencia en general no puede demostrarse a partir de propiedades más básicas, por lo que se postula a través de un axioma.