逻辑的极限与数学的困境，罗素用了362页才推导出1 1=2(5)

此外，该理论还包括关于理论本身是否可证明的陈述。根据这一见解，哥德尔巧妙地构建了一个“说谎者悖论”的修改版本，如下所示：

哥德尔悖论如果它是真的，那么它就不能在理论中被证明。如果它是假的，那么它说的一定是假的，这意味着它在理论中是可以证明的，因此它一定是真的。所以，我们有一个真正的数学命题，它既不能在理论中被证明也不能被否定。一个数学理论的正式系统，即使是像数论那样的初等系统，也只是一个近似值。
图灵：程序员的崛起