会走到一种关系，这种关系不能再化为相关的项的形容词。这种论证特别适用于所有非对称的关系，就是说，甲与乙有而乙与甲没有的那种关系。（上面指出来的那种论证，在我的《数学的原理》，BB２１２—１６中有充分的讨论。）反对内在关系公理的一个更有力的论证是来自考虑一下项的“性质”究竟是什么意思，项的性质和项本身相同呢，还是不同？如果是不同，它一定是和项有关系。一个项对它的性质的关系，若不陷于无限的倒退，就不能化为不是一种关系的那么一种东西。

    这样说来，如果坚持这个公理，我们必须假定，一个项和它的性质并不是两回事。若是如此，每个把一个谓语加于一个主语的真命题，就完全是属于分析性的，因为那个主语是它自己的整个性质，那个谓语是那个性质的一部分。但是，如果是那样，把同一主语的一些谓语连到一些谓语上去的那个联系物是什么呢？

    如果主语不过是其自己的一些谓语的一个系统，则谓语的任何偶然的集合就可以说是构成一个主语。如果一个项的“性质”是由其一些谓语而成，同时又和项的本身是一个东西，那就无法理解我们问“是否Ｓ有Ｐ这个谓语”的时候，究竟是什么意思。因为这不能有这样的意思：“Ｐ是解释Ｓ的意思的时候所列举的若干谓语中的一个吗？”按这种看法来说，好象很难见到这能有什么别的意思。我们不能企图在谓语与谓语之间引入一种连贯关系，由于这个关系，这些谓语可以称为一个主语的谓语；因为这就会把“加谓语”置于关系的基础上，而不是把关系化为加谓语。所以无论是肯定或否定一个主语不是它的“性质”，我们都要陷入同样的困难。（关于这个题目，参看我的《莱布尼茨的哲学》，§§２１、２４、２５。）还有，内在关系公理与所有的“复杂性”都不相合，因为，正如前面所说，这个公理会导致一种严格的一元论，只有一种东西，只有一个命题，这一个命题（这个命题不只是唯一的真命题，而且是唯一的命题）把一个谓语加到这一个主语上。但是这一个命题不是全真，因为它包含把谓语和主语区别开。可是就有了困难：如果加上谓语包含谓语与主语的不同，并且，如果这一个谓语并不是与这一个主语有区别，我们就会认为，甚至就不能有一个把这一个谓语加到这一个主语上去的一个伪命题。因此，我们就不得不假定，加上谓语并不包含谓语与主语的不同，并且不得不假定，这一个谓语和这一个主语是同一的。但是，关于我们正在讨论的这种哲学，最重要的是否定绝对的等同，保留“差异中的等同”。不然，真的世界中表面上的多就无法解释。困难是，如果我们坚信严格的一元论，“差异中的等同”是不可能的，因为“差异中的等同”包含很多部分的真理。这很多部分真理由于互让，结合而为一个全体真理。

    但是这些部分真理，在严格的一元论上，不只是不是全真，而且它们是完全不存在的。

    如果真有这样的命题，不管是真是伪，就要产生“多”。总之，“差异中的等同”这一整套想法是和内在关系公理不相符的；可是没有这种想法，一元论就无法说明这个世界。

    它就像歌剧中用的可折叠的帽子一样，一下就倒塌了。我的结论是，这个公理是伪的。

    所以，唯心论以它为依据的那些部分是没有根据的。

    因此，看来是有些理由来反对这样的一个公理，即，关系是基于关系中的项的“性质”，或基于由这些项所组成的那个整体的“性质”。好象是没有理由来支持这个公理。

    如果否定了这个公理，再谈关系的项的“性质”就没有意义了：相关已经不足以证明“复杂”。某种关系可以存在于很多成对的项之间，某项对不同的项可以有很多不同的关系。“差异中的等同”就不见了：有同而且有异，复合体可以有些成