Otras teorías de conjuntos como NF sí permiten la existencia de un verdadero conjunto universal, a cambio de complicar los axiomas.