intro is dubious the intro claims that the problem with a universal set stems from the axiom of comprehension but shortly afterwards it points out that the axiom of comprehension causes a problem even for sets which aren't the universal set so it isn't the universal set which is the problem at all it's the axiom of comprehension with the axiom of comprehension removed and the axiom of separation substituted for instance it is not clear why the universal set causes problems