[论文解读] Is mathematics consistent?

Hitoshi Kitada|ArXiv.org|May 31, 2003

Mathematics Education and Teaching Techniques参考文献 3被引用 3

一句话总结

本文通过罗瑟（Rosser）对哥德尔不完备性定理的改进，扩展了对形式数学系统（特别是策梅洛-弗兰克尔集合论，ZFC）一致性的研究。研究发现，若ZFC公理无法确定非递归序数的存在性，则要么所有序数都是递归的（意味着集合论不一致），要么存在最小的非递归序数，从而导致系统的一个最大一致扩展。其主要贡献在于通过序数的递归性与基础一致性的联系，开展了一项元数学分析。

ABSTRACT

A question is proposed whether or not set theory is consistent.

研究动机与目标

• 通过哥德尔编号和证明谓词评估形式集合论S^(0)的一致性。
• 利用罗瑟形式扩展哥德尔不完备性定理，避免标准的ω-一致性假设。
• 分析ZFC公理独立于非递归序数存在性时，对扩展形式系统一致性的含义。
• 确定最小非递归序数的存在是否导致形式系统S^(0)的最大一致扩展。
• 澄清在情况(i)中出现的不一致性是否意味着ZFC内部存在具体矛盾，还是仅是元数学层面的限制。

提出的方法

• 使用哥德尔编号为形式系统S^(0)中的公式和证明分配唯一编号，从而实现语法的算术化。
• 定义原始递归谓词A^(0)(a,b)和B^(0)(a,c)，分别表示具有哥德尔数a的公式在证明数b或c下可证明或可否证。
• 通过对角化构造一个类似于哥德尔句子的自指公式A_q^(0)(q^(0))，该公式断言自身的不可证明性。
• 应用罗瑟技巧，将可证明性和可否证性同时纳入同一公式中，从而避免对ω-一致性的依赖。
• 通过添加A_(0)作为新公理，将系统S^(0)扩展为S^(1)，在假设A_q^(0)(q^(0))及其否定均不可证明的前提下，保持一致性。
• 通过可数序数对系统S^(α)进行超限扩展，区分所有序数均为递归的情况与最小非递归序数ω_1存在的不同情况。

实验结果

研究问题

• RQ1 在通过哥德尔编号构造自指公式后，形式系统S^(0)在何种条件下保持一致？
• RQ2 罗瑟形式的不完备性定理能否在不假设ω-一致性的情况下，用于证明一个断言自身不可证明的句子的不可证明性？
• RQ3 当形式系统通过超限序数扩展时，特别是当非递归序数的存在性独立于ZFC时，其一致性会发生什么变化？
• RQ4 如果所有序数都是递归的，这是否会导致形式系统超限扩展的一致性出现矛盾？
• RQ5 最小非递归序数的存在是否足以定义形式系统S^(0)的最大一致扩展？

主要发现

• 系统S^(0)一致当且仅当A_q^(0)(q^(0))及其否定均不可证明，此结论由罗瑟对哥德尔定理的改进所证明。
• 若所有序数均为递归的，则S^(α)的超限扩展最终必然不再保持一致，除非集合论本身不一致。
• 最小非递归序数ω_1的存在确保了系统S^(ω_1)的一致性，且无法在不破坏一致性的前提下进一步扩展。
• 若存在这样的序数，则系统S^(β)在β = ω_1（最小非递归序数）处达到最大一致状态。
• 该定理具有元数学性质：它并未在ZFC内部证明不一致性，而是表明只有当所有序数均为递归且系统被假设可无限扩展时，才会出现不一致。
• 即使不存在非递归序数，由此产生的矛盾也不会在ZFC内部导致具体矛盾（如罗素悖论），而仅是扩展过程中的结构性限制。