有一些更老的悖论（其中有一些是为希腊人所知道的）我觉得引起了类似的问题，虽然我以后的一些作者认为这些悖论是另外的一种。其中最着名的是那个关于克利特人艾皮米尼地斯的悖论。他说所有的克利特人都是说谎的人。这就使人问，他说这话，他是不是不说谎。如果一个人说：“我是说谎呢”，这就是这个悖论所表现的最简单的形式。如果他是说谎，那么他是说谎就是一个谎，因此他就是说实话；但是如果他是说实话，他就是说谎，因为那是他说他正在做的事。这样，矛盾就是不能避免的。圣保罗曾经提到过这个悖论①。可是他对于这个悖论的逻辑方面并没有兴趣。他所感兴趣的是，这个悖论证明异教徒是坏的。但是数学家们可以把这些难以索解的问题打发开，以为是和他们的科目毫无关系，虽然他们不能把是否有一个最大的基数或最大的序数这些问题置之于不顾，这两个问题都使他们陷入矛盾。关于最大序数的矛盾是在我发现我的矛盾之前被布拉力福尔提发现的。但是他的这件事是复杂得多，因此我也就以为在推理上是有些小小的错误。无论如何，因为他的矛盾远不象我的矛盾那么简单，乍一看来好象摧毁的力量不是那么大。可是，结果我不得不承认其严重是一样的。
在《数学的原理》里我并没有公然说我已经找到了一个解决的方法。我在那本书的序言里说：“发表一本包含那么许多未曾解决的争论的书，我的解释是，经过研究，在第十章中所讨论的矛盾，我看不出最近有得到适当解决的希望，对于类的性质最近也没有希望看得更深更透。有些解决的办法曾使我得到一时的满足。后来常常发现这些解决的办法是有错误的。这种发现使人觉得，好象是较长时间的思索也许可以得出一些表面看来是满意的学说，有了这些学说，问题就显露不出来了。因为这个道理，只把困难说出来，比等下去一直到我相信一个几乎一定是错误的学说中有真理，好象是要更好一点。”在讨论矛盾的那一章之末我说：“上面所说的矛盾不包含特殊的哲学。这种矛盾是直接起源于常识。这种矛盾唯一解决的办法是放弃某种常识的假定。只有以矛盾为滋养的黑格尔哲学才能不关心，因为它处处遇到与此类似的问题。在任何别的学说里，这样一个正面的挑战要求你做出一个答覆，否则就是自己承认没有办法。幸而，就我所知，在《数学的原理》的任何别的部分，没有别的与此类似的困难出现。”在书后的附录里我提出类型说可以给予一个言之成理的解释。最后我深信这个学说会解决这个问题，但是在我从事写作《数学的原理》的时候，我只把这个学说弄得粗具规模。
这个学说在此情形之下是不能胜任的。我在那个时候所得到的结论表现在这本书的最后一段里：“总括起来说，看来第十章的那个特别的矛盾是被类型说解决了。只是，至少有一种很类似的矛盾大概是不能用这种学说解决的。看来所有逻辑的对象或所有命题，全体包含一种基本的逻辑上的困难。这种困难的完满解决是什么，我还没有发现到；但是因为它影响推理的基础，我恳切盼望所有治逻辑学的人对它加意研究。”
《数学的原理》写完之后，我准备决意对于这些悖论找到一个解决。我觉得这几乎是对我个人的一个挑战，而且，如果势不得已，我就要花掉我整个的余年来应战。但是有两个理由我以为这是极其不愉快的。第一，我觉得这整个问题是无足重轻的。我极不愿意把注意力集中在一件并不见得实在是有趣的事情上。第二，恁其我怎么努力，我没有进展。一九○三年和一九○四年这一整个时期，我差不多完全是致力于这一件事，但是毫不成功。我第一个成就是一九○五年春季的叙述学说。这个学说我将在下文谈到。在表面上看，这是和这些矛盾没有关系的，但是后来一种没有想到的关系出现了。最后，我看得十分清楚，类型说的某种形式是极关紧要的。我现在不着重来讲在《数学原理》里讲到的那个学说的特殊形式。但是我仍全然深信，没有这个学说的某种形式，这些悖论就无法解决。