为什么哥德尔不完全性定理的证明中隐藏着悖论：
1，哥德尔编码变换，本质上是一种潜无限到另一种潜无限的转化，而哥德尔却把后者当作实无限对待；
2，在哥德尔不完备定理的证明中，哥德尔得出哥德尔公式及其否定都不能被证明的结论，这只是结果之一。哥德尔显然忽略了另一个结果，即如果哥德尔公式为真，那么哥德尔公式就不为真;如果哥德尔公式不成立，我们可以推断哥德尔公式成立。这显然是一个悖论。我在其证明中找到了详细的悖论形式。也就是说，哥德尔公式自身就是悖论形式，这也是以往人们忽视的地方，也是哲学大师维特根斯坦强烈质疑的地方。
3，从整个形式系统体系来看，任何一个形式系统本质上就是一个集合论系统。既然朴素集合论隐藏着罗素悖论，那么形式系统也必隐藏着类似的罗素悖论。感谢哥德尔找到了这个悖论，即那个哥德尔公式。而这背后的核心思想是实无限。在我看来，实无限是自相矛盾，一直都如此。