understanding axiom of comprehension
Jech makes two claims here:
-
The idea behind comprehension is not paradoxical.
-
The idea of a universal set is.
The key word doing all the heavy lifting in idea 1 is "idea:" for Jech, the full comprehension scheme and the full separation scheme are each implementations of the comprehension idea, and the fact that the former (which is more obvious) is inconsistent doesn't mean that the underlying idea itself is inconsistent. Note that there's an implicit claim here that separation does not represent a new idea but rather a more careful formulation of the same idea behind comprehension. I tentatively agree with Jech here.
Claim 2, to be honest, I have little sympathy for. Certainly there are consistent set theories which admit a universal set (e.g. $\mathsf{NFU}$ - while the consistency of $\mathsf{NF}$ relative to $\mathsf{ZF}$ is (sorta-kinda-)open, it's easy to show that $\mathsf{NFU}$ is consistent relative to even much less than $\mathsf{ZF}$).
One possible response to my objection to claim 2 is that theories like $\mathsf{NFU}$ while technically having a universal set aren't faithful to the idea behind a universal set - that part of sethood is separation. If we grant this, then it is indeed the case that "the idea of a universal set" is contradictory; however, this goes against the putative bundling of separation and comprehension two paragraphs prior.
Ultimately, I disagree with Jech here: I think there are two genuinely different ideas, each of which is consistent on its own but which are mutually inconsistent.