Algunas teorías axiomáticas de conjuntos aseguran que el conjunto vacío existe incluyendo un .