更改

<math>G=Q_o, T(q_o t)= ''\sim \exists m:T(m,Q(q_o t))''</math>

<math>G=Q_o, T(q_o t)= ''\sim \exists m:T(m,Q(q_o t))''</math>

让我们来翻译一下这句话：不存在一个自然数<math>m</math>使得：<math>m</math>和<math>Q(q_о t)</math>构成证明对。也就是说<math>Q(q_o t)</math>不是系统中的定理。而<math>Q(q_o t)是什么呢？根据函数<math>Q</math>的定义，<math>Q(q_o t)</math>就是把<math>q_o t</math>这个数代入到<math>q_o t</math>所对应的语句中的自由变元之后得到的那个语句的哥德尔编码。而我们知道<math>q_o t</math>代入它自己<math>Q_o T(n)</math>，并替换自由变元<math>n</math>之后得到的那个数就是<math>G</math>自己的哥德尔编号，所以<math>G</math>也可以翻译为：

让我们来翻译一下这句话：不存在一个自然数<math>m</math>使得：<math>m</math>和<math>Q(q_о t)</math>构成证明对。也就是说<math>Q(q_o t)</math>不是系统中的定理。而<math>Q(q_o t)</math>是什么呢？根据函数<math>Q</math>的定义，<math>Q(q_o t)</math>就是把<math>q_o t</math>这个数代入到<math>q_o t</math>所对应的语句中的自由变元之后得到的那个语句的哥德尔编码。而我们知道<math>q_o t</math>代入它自己<math>Q_o T(n)</math>，并替换自由变元<math>n</math>之后得到的那个数就是<math>G</math>自己的哥德尔编号，所以<math>G</math>也可以翻译为：

G=“G不是一个定理”或者，干脆翻译为：

G=“G不是一个定理”或者，干脆翻译为：