By the way, I forgot to ask do you object to my post about "killing" the Russel set because you don't accept the existence of universal set or because you don't understand how {x in S| x not x} helps here? If it's the former, can you assume that U exists and explain how {x in S| x not x} solves the problem? So that I know you're not simply "saying things".