Russell's paradox

Russell's paradox states that the Russellian Class defined by

is not a set. #m/thm/set For if it were a set, either or implies its opposite, which is absurd. The main issue at hand is unrestricted comprehension, and different approaches to axiomatic set theory must take care to resolve this paradox.