Russell's paradox
The predicate ("C" is not in "C") is forbidden, because the same symbol "C" appears on both sides of the membership symbol (and so at different "relative types"); thus, Russell's paradox is avoided.