Russellsche Antinomie
Russellsche Antinomie und Typentheorie.