3) besagt nicht, dass die Allklasse eine Menge ist. Diese Formel besagt bloß, dass es eine Menge gibt, für die X=X gilt. (Und dank des Extensionalitätsaxioms gilt sogar für jede Menge X die Gleichung X=X. - Aber das ist hier unwichtig.)