摘要： 维特根斯坦就哥德尔语句Ｇ提出了如下疑难，这个并未提及自身的算术命题何以竟会谈论自身？借助特定元数学关系的计算机可判定性及其特征函数的算术可定义性进行深入分析，即可得出以下结论：Ｇ非但没有提及自身，甚至也没有谈论自身，而只不过是涉及了自身———是Ｇ的推论在谈论Ｇ。