Russell's paradox
罗素悖论等于用反证法证明了真类的存在。但真类是抽象难理解的。