Si dicho conjunto existiera, entonces estaría perfectamente justificada la existencia de la llamada clase de Russell como un subconjunto de este: