“大体上说：说两件东西等同，是没有意义的，说一件东西和其本身等同，等于没有说”（《逻辑哲学论》，５。５３０２和５。５３０３）。有一个时候，我接受了这个批评，可是我不久就得到了这样一个结论：他的批评使数理逻辑无法成立，并且事实上维根斯坦的批评是无效的。如果我们考虑到计算，这就格外明显了：如果ａ和ｂ的一切性质都为它们所共有，你就永远不能提到ａ而不提到ｂ，或数到ａ而不同时数到ｂ，不是把ｂ当作单独的一项来数，而是在同一数的动作中来数。所以你就决没有可能发现ａ和ｂ是两个。维根斯坦的主张是假定不同是一种难以明确的关系，虽然我并不认为他知道他是做此假定。可是如果他不做此假定，我就看不出有什么理由能象他所说：说两件事物的一切性质都为他们所共有，是有意义的。可是如果承认不同是有的，那么，如果ａ和ｂ是两个，ａ就有一种为ｂ所没有的性质，那就是，与ｂ不同那么一种性质。所以，我想维根斯坦关于同一的那种主张是错误的。
果真如此，那就使他的系统的大部分归于无效。
请以２这个数的定义为例。我们说一个类有两项，如果这个类有ｘ和ｙ两项，并且ｘ和ｙ并不等同，并且，如果ｚ是这个类的一项，则ｚ和ｘ或ｙ等同。很难使这个定义和维根斯坦的主张相调适，他的主张是要求：我们决不应该用辞句来表示“ｘ＝ｙ”或“ｘDｙ”这个式子，而是应该用不同的字母来代表不同的东西，并且决不应该用两个不同的字母来代表同一个东西。除了这种专门技术上的困难之外，显然，由于上面所讲的理由，如果两件东西的一切性质都为二者所共有，则这两件东西就不能算做两个，因为算做两个就不能不把它们区别开，因此也就给了它们以不同的性质。
还有一个结果，就是，我们不能制造一个为某一组列举的物件所共有和特有的内包。举例来说，假定我们有ａ、ｂ、ｃ三个物件，那么，和ａ等同、和ｂ等同、和ｃ等同的那个性质就是一个为这三个物件所共有和特有的性质。但是，在维根斯坦的系统中，这个方法是不合用的。
还有一点，是非常重要的，就是，维根斯坦对关于世界上一切物的任何陈述都不认可。在《数学原理》里，万物总体的定义是所有那些ｘ们的类，它们是ｘ＝ｘ那样的ｘ们，并且我们可以给这个类指定一个数，（正如可以给任何别的类指定一个数），虽然我们当然不知道用来指定的那个正确的数是什么。维根斯坦对此不予承认。他说象“世界上有三件以上的东西”这样的一个命题是没有意义的。一九一九年我在海牙和他正在讨论《逻辑哲学论》的时候，我面前有一张白纸。
我在上面用墨水弄了三个点。我请他承认：既然有这三个点，世界上一定至少有三件东西；但是他坚决拒绝。他倒承认在那张纸上有三个点，因为那是一个有限的断定，但他不承认关于世界总体能有任何陈说。这和他的神秘主义有关系，但是由于他拒绝承认等同，这是不足怪的。
另有一方面和这同一类问题有关，我称之为“无限公理”。在一个只包含有限数目的东西的世界中，那个数目就是一批东西最大可能有的数目。在这样的一个世界中，所有高级数学就要垮台。世界上究竟有多少东西，在我看来，这纯粹是一个经验上的问题。我不认为一个单纯的逻辑学家关于这个问题应该发表什么意见。因此，所有需要一个无限数目东西的那些数学部分我都当成是假设的。所有这一切在维根斯坦看来都是极其荒谬的。在他看来，你可以问“伦敦有多少人？”或“太阳里有多少分子？”但是推论世界上至少有那个数目那么多的东西，在他看是没有意义的。据我想，他的学说的这一部分肯定是错误的。
维根斯坦发表了两个原理。这两个原理如其为真，是非常重要的。即，外延性原理和原子性原理。