Russell's paradox
由于罗素悖论，即所有集合的全体不能作为一个集合而存在，Set的对象类为一真类。故Set为大范畴。