-式子A(x)，存在式子B有：B↔A(g(B))。令T*为在N中为真的L-式子的哥德尔数的集合。我们试图证明：不存在可定义T*的L-式子True(n)，亦即，不存在L-式子True(n)使对任何L-式子A，有：True(g(A))↔A。我们透过归谬法来证明这一点。假设L-式子True(n)可定义T*。例如，若A是算术系统的句子，则在N中有True(g(A))若且唯若A在N中为真。所以，对任何A，塔斯基T-句子True(g(A))↔A在N中为真。但我们透过对角线引理可构造出一个反例，即给出一个「谎