A few results around Russell's paradox. For clarity, we prove separately a FOL statement (now in the main part as ru0) and then two versions (bj-ru1 and bj-ru). Special attention is put on minimizing axiom depencencies.