ラッセルのパラドックス
Other solutions to Russell's paradox, with an underlying strategy closer to that of type theory, include Quine's New Foundations and Scott-Potter set theory.