论哥德尔语句的维特根斯坦疑难——未提及自身的算术命题何以谈论自身?

摘要

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