罗素悖论
罗素悖论在类的理论中通过内涵公理而得到解决。