摘要：Boolos的不完备性证明直接扩展，从而可以得到一些经典逻辑限制定理的简单的“非对角线化”证明。
作者：Gyorgy Sereny
论文ID：math/0309345
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中