En teoría axiomática de conjuntos no puede demostrarse la existencia de la unión de conjuntos a partir de propiedades más básicas.