摘要：对角引理在逻辑的主要限制性定理的证明中起着关键作用，其证明可以揭示这些基本定理的本质。然而，往往将该引理描述为那些缺乏有洞见的解释性证明的重要逻辑结果之一。通过明确指出该引理的众所周知的证明只是将格雷林悖论转化为一阶算术的简单翻译，可以使证明完全透明化。
作者：Gyorgy Sereny
论文ID：math/0606425
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中