Remark

There exists no set of which every object is an element; in other words, "not $(\exists X)(\forall x)(x \in X)$" is a theorem. For if there were such a set, then by C52 every relation would be collectivizing. But we have seen (no. 4) that the relation $x \notin x$ is not collectivizing.