Axiom of extension and Russel paradox