Intro é duvidoso 

A introdução afirma que o problema com um conjunto universal deriva do axioma da compreensão.

Mas logo depois aponta que o axioma da compreensão causa um problema mesmo para conjuntos que não são o conjunto universal. Portanto, não é o conjunto universal que é o problema; é o axioma da compreensão.

Com o axioma da compreensão removido (e o axioma da separação substituído, por exemplo), não está claro por que o conjunto universal causa problemas.