形成
一般来说，悖论的形成往往涉及自我指涉、否定性概念，以及“对潜无穷对象做了实无穷处理”。
自我指涉合法存在于人们日常语言中，数学基础上和认知科学里，随处可见，造成的矛盾在逻辑上无懈可击，历经了两千多年，对此除了尽量规避之外，至今专家们仍然没有妥善的解决方案。它构造矛盾的方法成为证明中的重要技巧，在一些令人惊异的重要定理中起着关键的作用。这个系列介绍这一类悖论，剖析人们对它的思考和因此带来的科学进步。
解决
拉姆塞将悖论分为逻辑数学悖论和语义悖论。
集合论悖论、罗素悖论等能用逻辑符号表达的悖论为逻辑数学悖论，这类悖论不涉及语义的问题，因此后来又被称为“语形悖论”。
而另一类如说谎者悖论、理查德悖论等因为涉及语义，比如有真或假的概念，则被称为“语义悖论”。
拉姆塞集中解决了前一类悖论问题，而将语义悖论交给了语义学。在解决逻辑数学悖论的过程中，拉姆塞认为《数学原理》中的可化归性公理和分支类型论都是多余的，只有在解决语义悖论时才需要用到。1937年罗素认可了这个观点。
拓展阅读
- 数学核心的悖论：哥德尔不完备性定理·[公众号·遇见数学·2022年07月20日]
- 引发第三次数学危机的罗素悖论，如何逃离循环的怪圈？·[公众号·电子工业出版社·2023年11月30日]