的一部“自身不列入的目录的总目”是根本不存在的，它只是存在于卡里马楚斯的幻想当中。去掉幻想，站在现实的大地上，他会发现，一切问题突然都消失得无影无踪了。这时，卡里马楚斯的信徒们跳了起来：“简直空谈！你自己解释不了，就说不存在，这能说明什么问题？你并没有证明这样的总目为什么不存在。”

    大哲学家罗素马上起来安慰这些信徒们：“既然大家不同意‘理发师定理’，我看还是采用我的办法，这个办法也是在解决理发师悖论时提出来的，这就是类型论方法。据类型论，集合都属于不同的类型，如元素的集合、元素的集合的集合等。同一类型的集合不能相互包含，因此，一个集合不能是这个集合本身的元素，即不能包含自身。如果说一集合属于另一集合，那么，前一集合应该比后一集合的类型低。这样，卡里马楚斯先生就不要编这种‘自身列入的目录的总目’，因为它的元素‘自身列入的目录’就是自己属于自己，这是违反类型论的要求的。当然，‘自身不列入的目录的总目’也不会有列入自身的问题，怪圈也就不会出现。”

    罗素的话音刚落，塔斯基站起来说：“我同意罗素先生的观点。我也提出一个与类型论相似的语言分层理论，据此理论，语言有不同的层次，低层次的称为对象语言，包括对象语言并对其进行讨论的称为元语言。同一层次的语言是不能相互讨论的，这样，‘自身列入的目录’是不允许的，当然，‘自身列入的目录的总目”也就不能存在。同样，‘自身不列入的目录的总目’也不会有属于不属于自身的问题，悖论当然能避免。”

    “嗯！有一定的道理，”卡里马楚斯的信徒们说，“不过，你们的理论却都有些武断。根据亚里士多德大师的形式逻辑，目录总可以分为两类：自身列入和自身不列入。要么自身列入，要么自身不列入，不能既是自身列入又是自身不列入。从客观上讲，自身列入的目录是存在的，而你们却严加禁止。退一步讲，据你们的理论，任何目录不能列入自身，那么，据排中律，则有任何目录都是自身不列入的，而给这类目录编一个总目没有任何理由进行反对，它作为一部目录当然也要归入两类中的一类。你们既然禁止自身列入这种情况存在，那么，它只能属于自身不列入这一类。‘自身不列入的目录的总目’属于‘自身不列入的目录的总目’，那不又成了自身列入了？矛盾！”

    看来，现代的逻辑学家们并没有使卡里马楚斯摆脱困境，清除矛盾。这时，辩证法的大师们出来替他们解围了。

    “矛盾，是的，矛盾！你不会清除矛盾，因为矛盾无处不在，无时不有，矛盾才是真理！‘自身列入的目录的总目’本身就是一个矛盾的统一体，它把所有‘自身不列入的目录”列入了，即‘列入’了‘不列入自身者’，因此，它应该既列入自身又不列入自身。”

    “蠢话，胡言！这简直是对亚里士多德先哲的亵渎！”卡里马楚斯的信徒们嚷嚷着，他们真不愿大换一下脑筋。

    “且慢，听完我们的解释后，你们也许会有所启示的。我们先看看中国的悖论专家杨熙龄先生提出的两种方法。他的第一种方法称为‘列入不列入法’。按照这种方法，卡里马楚斯在给所有自身不列入的目录编成总目之后，在这本总目的最后一页的末尾加上这样一条：‘本总目未列入本总目’。此总目就通过不列入的方式把自己列入了。”

    “这叫什么解决方法？”卡里马楚斯的信徒们还是不满。“这简直就是在说此地无银三百两。如果说它自身列入，它又明明说未列入；而如果说它未自身列入，但它又通过这种特殊的，即说自身未列入的方式列入了，亦即把自己的‘未列入’列入了。这何曾是解决悖论？这不过是戴上面罩的悖论而已。另外，就算你解决了自身列入不列入的问题，编成了一本总目