摘要：由于发现了定理4.21中的关键错误，本文已经被撤回。然而，对于先前与ZF的一致性或非自指推理的正确性相关的失败证明尝试等具有历史或实用兴趣的人，欢迎获取仍然可在arXiv上获得的原始版本的论文。
作者：Bryan Ford
论文ID：math/0404471
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中