La introducción es dudosa. 

La introducción afirma que el problema con un conjunto universal proviene del axioma de la comprensión.

Pero poco después señala que el axioma de la comprensión causa un problema incluso para conjuntos que no son el conjunto universal. Así que no es el conjunto universal lo que es el problema en absoluto; es el axioma de la comprensión.

Con el axioma de comprensión eliminado (y el axioma de separación sustituido por ejemplo), no está claro por qué el conjunto universal causa problemas.