摘要：哥德尔第一不完备定理的证明不需要ω一致性，也不涉及到反句的编码，就像Rosser的方法一样。它从哥德尔通常的证明结束的地方开始，并一直跟踪直到证明完成。
作者：Zuhair A. Al-Johar
论文ID：2308.10904
分类：Logic
分类简称：math.LO
提交时间：2023-08-30
PDF 下载： 英文版 中文版pdf翻译中