Russellsche Antinomie
This restriction is necessary to avoid Russell's paradox and its variants that accompany naive set theory with unrestricted comprehension.