[論文レビュー] Is mathematics consistent?

Hitoshi Kitada|ArXiv.org|May 31, 2003

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

ひとこと要約

この論文は、ゲーデルの不完全性定理をローザーの修正によって拡張することで、特に集合論における形式的数学的体系の整合性を調査する。ZFCの公理が非再帰的順序数の存在を決定できない場合、すべての順序数が再帰的である（すなわち、集合論が整合的でないことを意味する）か、あるいは最小の非再帰的順序数が存在し、その結果、体系の最大整合的拡張が得られる。主な貢献は、順序数の再帰性と基礎的整合性の間のメタ数学的分析である。

ABSTRACT

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

研究の動機と目的

• Gödel番号化と証明述語を用いて、形式的集合論S^(0)の整合性を評価すること。
• ω-整合性の標準的仮定を回避するため、ローザーの形に拡張したゲーデルの不完全性定理を用いること。
• ZFC公理系から非再帰的順序数の存在が独立であるという事実が、拡張された形式的体系の整合性に与える影響を分析すること。
• 最小の非再帰的順序数の存在が、形式的体系S^(0)の最大整合的拡張をもたらすかどうかを特定すること。
• ケース(i)における顕著な不整合が、ZFC内に具体的な矛盾（例：ラッセルのパラドックス）を生じさせるのか、それともメタ数学的制約に過ぎないのかを明確にすること。

提案手法

• 形式的体系S^(0)における論理式および証明にGödel番号を一意に割り当てることで、構文の算術化を可能にする。
• 証明可能性と否定可能性を表す原始再帰的述語A^(0)(a,b)およびB^(0)(a,c)を定義する。ここで、aは論理式のGödel番号、bまたはcは証明のGödel番号を表す。
• 対角化を用いて、自身の非証明可能性を主張する自己言及的論理式A_q^(0)(q^(0))を構成する。これはゲーデル文に類似している。
• ローザーのテクニックを適用し、同一の論理式内で証明可能性と否定可能性を同時に考慮することで、ω-整合性の仮定を回避する。
• S^(0)をA_(0)を新たな公理として追加することでS^(1)に拡張する。これは、A_q^(0)(q^(0))およびその否定がいずれも証明可能でないという仮定の下で整合性を保つ。
• 可算順序数を通じてS^(α)の超限的拡張を分析し、すべての順序数が再帰的である場合と、最小の非再帰的順序数ω_1が存在する場合を区別する。

実験結果

リサーチクエスチョン

• RQ1 Gödel番号化を用いて自己言及的論理式が構成されたとき、形式的体系S^(0)がどのような条件下で整合的であるか。
• RQ2 ω-整合性の仮定なしに、自身の非証明可能性を主張する文の非証明可能性を、ローザーの形の不完全性定理を用いて確立できるか。
• RQ3 非再帰的順序数の存在がZFCから独立である場合、特に超限順序数を用いた体系の拡張において、整合性はどのように変化するか。
• RQ4 すべての順序数が再帰的である場合、形式的体系の超限的拡張における整合性が破綻するのか。
• RQ5 最小の非再帰的順序数が存在する場合、それが形式的体系S^(0)の最大整合的拡張を定義するのに十分か。

主な発見

• ローザーのゲーデル定理の修正を用いることで、体系S^(0)が整合的であるための必要十分条件は、A_q^(0)(q^(0))およびその否定がいずれも証明可能でないことである。
• すべての順序数が再帰的である場合、S^(α)の超限的拡張は、集合論が不整合的であるかぎり、最終的に整合性を失う。
• 最小の非再帰的順序数ω_1の存在により、体系S^(ω_1)は整合的であり、整合性を損なわずにさらに拡張することはできない。
• S^(β)は、そのような順序数が存在する場合、β = ω_1（最小の非再帰的順序数）において最大整合的状態に達する。
• この定理はメタ数学的である：ZFC内に不整合を証明するのではなく、すべての順序数が再帰的であり、かつ体系が無限に拡張可能であると仮定する場合にのみ、不整合が生じることを示している。
• 非再帰的順序数が存在しない場合でも、生じる矛盾はZFC内に具体的な不整合（例：ラッセルのパラドックス）をもたらさず、むしろ拡張プロセスにおける構造的制約に帰着する。