Russellsche Antinomie
so by contradiction "m' " does not exist. Note the close resemblance of this proof to the way Zermelo disposes of Russell's paradox.