Intro ist zweifelhaft 

Das Intro behauptet, dass das Problem mit einem universellen Satz vom Axiom des Verständnisses herrührt.

Aber kurz darauf weist es darauf hin, dass das Axiom des Verständnisses selbst für Sets, die nicht das universelle Set sind, ein Problem verursacht. Es ist also nicht der universelle Satz, der überhaupt das Problem ist; es ist das Axiom des Verstehens.

Mit dem entfernten Axiom des Verständnisses (und dem zum Beispiel ersetzten Axiom der Trennung) ist nicht klar, warum der universelle Satz Probleme verursacht.