Russell's paradox
Russellsche Antinomie und Typentheorie.