タルスキの定義不可能性定理
上で与えられた証明の形式的な仕組みは、対角線補題で用いられる対角化を除いて全く初歩的なものである。対角線補題自体の証明も驚くほど単純であり、例えば再帰関数などは不要である。この証明では全ての L-式がゲーデル数を持つと仮定するが、具体的なコーディング内容は要求されない。したがってタルスキの定理は、一階算術のメタ数学的性質に関するゲーデルの不完全性定理よりも動機づけと証明はずっと簡単である。
レイモンド・スマリヤンは、タルスキの定義不可能性定理はゲーデルの不完全性定理が集めた注目に値すると強く主張している。ゲーデルの定理が、全ての数学やもっと議論を呼ぶ哲学的問題の範囲について多くを語れるかどうかはあまり明らかでない。一方でタルスキの定理は直接的に数学に関するものでなく、実際の興味を持つに足る十分な表現能力のある全ての形式言語の先天的な限界に関するものである。そのような言語は対角線補題を適用できる程度の自己言及が必然的に可能である。タルスキの定理の広範な哲学的意義はより明らかである。