基于如下的理由，我宣布具有92年历史的著名哥德尔不完备定理是错误的。
文献[1]中的公式（8.1）含有 "subst(y,19,number(y))"一项，这里面有逻辑错误。
在这里，哥德尔假设有一个含有自由变量y的公式，并且他把这个公式的哥德尔数也命名为“y”。这意味着，哥德尔给一个符号“y”赋予了两种不同的含义。 由于公式（8.1）是哥德尔所有论证的起点，所以，哥德尔创立的命题，从一开始就在谈论它自身。
如果我们允许一个符号具有两种含义，我们可以一步就创造出说谎者悖论，把“命题G是假的”这个命题，命名为G就可以了。
这个错误使得哥德尔的全部论证都是无效的。
