[PDF版]

集合論の様々なモデルを構成する方法として強制法があります.強制法の流儀には複数ありますが,その中の一つに ZFC\mathrm{ZFC}可算推移的モデル(c.t.m.) を取る方法があり,Kunen [1] でもこの方法が採用されています.

実はこの「ZFC\mathrm{ZFC} の可算推移的モデルの存在」は「ZF(C)\mathrm{ZF}(\mathrm{C}) の無矛盾性(=ZF(C)\mathrm{ZF}(\mathrm{C}) の集合モデルの存在)」よりも強い仮定です(つまり Con(ZF)c.t.m.\mathop{\mathrm{Con}}(\mathrm{ZF}) \not\rightarrow \exists \text{c.t.m.}1.このことは Kunen [1] や新井 [2] で言及されていますが,具体的に何故なのかは触れられていません. 以下では,この辺りの議論について少し詳しく書いてみます.

典型的な誤解とそれが誤解である手短な説明

Con(ZF)\mathop{\mathrm{Con}}(\mathrm{ZF}) を仮定しているのだから集合モデルが存在するので,Löwenheim-Skolem の定理で可算な初等部分構造を取って Mostwski 崩壊で (M,)(M, \in) の形にすればよい」というのがよくある誤解です.

具体的にどの部分が誤解なのかというと,「Mostwski 崩壊で」の所が間違っています.Mostwski 崩壊の主張をよく思い出してみましょう:

(M,E)(M, E) を外延的かつ整礎的な構造とする.このとき (M,E)(S,)(M, E) \cong (S, \in) となる推移的集合 SS が存在する.

Con(ZF)\mathop{\mathrm{Con}}(ZF) から存在する可算モデルを (M,E)(M, E) としましょう.== は論理記号だと思ってしまえば,外延性の公理から (M,E)(M, E) が外延的であることは良いでしょう.基礎の公理(正則性の公理)が成り立つから EEMM 上整礎なので,条件が成立して……と進めたくなりますが,実はここが間違っています.基礎の公理が (M,E)(M, E) で成り立つ,ということは次の論理式が成り立つということです:

AM[xM(xEA)xEAyEA(yEx)]\forall A \in M\, [\exists x \in M\,(x \mathrel{E} A) \rightarrow \exists x \mathrel{E} A \, \forall y \mathrel{E} A\, (y \not\mathrel{E} x)]

対して,(M,E)(M, E) が整礎構造である,というのは, AM[xM(xA)xAyA(yEx)]\forall A \subseteq M\, [\exists x \in M\,(x \in A) \rightarrow \exists x \in A \, \forall y \in A\, (y \not\mathrel{E} x)] ということでした.これを見比べてみれば,Mostwski 崩壊定理が求めているのはいわば「(M,E)(M, E)\in- 整礎である」という条件であるのに対し,「(M,E)(M, E) が基礎の公理を満たす」というのは「(M,E)(M, E)EE- 整礎である」ことを主張していることになります2.したがって,完全性定理と Löwenheim-Skolem の定理により得られた可算モデルに Mostwski 崩壊定理を適用することは出来ない訳です.

真に強いことの証明

以上の議論により,Mostwski 崩壊による常套手段を ZFC\mathrm{ZFC} 全体のモデルに適用して c.t.m. を得ることは出来ないということがわかりました.

しかし,それでも他の方法で取れる可能性はあるのではないか?と云う疑問が湧いてきます.そこで,以下では,c.t.m. の存在が Con(ZF)\mathop{\mathrm{Con}}(ZF) よりも強いことを示します. 以下の議論については,くるるさん(@kururu_goedel)から本質的な示唆3を頂きました.ありがとうございます.

そこで,Con(ZFC)c.t.m.\mathop{\mathrm{Con}}(\mathrm{ZFC}) \rightarrow \exists \text{c.t.m.} を仮定して矛盾を導きましょう.そもそも ZFC+Con(ZFC)\mathrm{ZFC} + \mathop{\mathrm{Con}}(ZFC) が矛盾する場合はつぶれてしまって考える意味がないので,Con(ZFC+Con(ZFC))\mathop{\mathrm{Con}}(\mathrm{ZFC} + \mathop{\mathrm{Con}}(ZFC)) としましょう.すると Gödel の第二不完全性定理および完全性定理から,MZFC+Con(ZFC)+¬Con(ZFC+Con(ZFC))M \models \mathrm{ZFC} + \mathop{\mathrm{Con}}(ZFC) + \neg \mathop{\mathrm{Con}}(\mathrm{ZFC} + \mathop{\mathrm{Con}}(ZFC)) を満たすモデル MM が存在します.今,Con(ZFC)c.t.m.\mathop{\mathrm{Con}}(\mathrm{ZFC}) \rightarrow \exists \text{c.t.m.} を仮定しているので,MM の中で ZFC\mathrm{ZFC} の可算推移的モデル NMN \subseteq M が取れます.ここで,「可算」「推移的」「\subseteq」はいずれも MM をユニヴァースと見た時のものであることに注意しましょう.とはいえ,これ以後 MM の外に出ることはないので,MM をユニヴァースだと思ってしまって,以下 \inMM における ϵ\epsilon- 関係であるとして議論を進めることにします.

すると,NZFCN \models \mathrm{ZFC} かつ ¬Con(ZFC+Con(ZFC))\neg \mathop{\mathrm{Con}}(ZFC + \mathop{\mathrm{Con}}(ZFC)) より N¬Con(ZFC)N \models \neg \mathop{\mathrm{Con}}(ZFC) となります.すると,ZFC\mathrm{ZFC} の有限個の公理 φ1,,φn\varphi_1, \dots, \varphi_n があってそこから矛盾が出ます:

N¬Con(φ1φn)N \models \neg \mathop{\mathrm{Con}}(\varphi_1 \wedge \dots \wedge \varphi_n)

この時,「論理式」「有限」「ZFC\mathrm{ZFC} の公理」「矛盾」の概念はそれぞれ推移的モデルについて絶対なので4,外側の MM でも同じことが成立します:

M¬Con(φ1φn)M \models \neg \mathop{\mathrm{Con}}(\varphi_1 \wedge \dots \wedge \varphi_n)

しかし,他方で MCon(ZFC)M \models \mathop{\mathrm{Con}}(\mathrm{ZFC}) でしたから,当然 MCon(φ1φn)M \models \mathop{\mathrm{Con}}(\varphi_1 \wedge \dots \wedge \varphi_n) でなくてはなりません.これは矛盾です.

参考文献

  • [1]K. Kunen, Set Theory, vol. 34. College Publications, 2011.
  • [2]新井敏康, 数学基礎論. 岩波書店, 2011.
  • [3]江田勝哉, 数理論理学 ──使い方と考え方:超準解析の入口まで. 内田老鶴圃, 2010.

  1. ですので,Kunen では「Con(ZFC)\mathop{\mathrm{Con}}(ZFC) からの相対無矛盾性を示す際には,厳密には反映原理で議論を展開するのに十分な ZFC\mathrm{ZFC} の有限部分を取ってきてその c.t.m. を取ることになる」という説明がされています.

  2. また,厳密には AA の範囲が \subseteq\in かという差もあります.まあ,基礎の公理と,MMEE の意味で空でない部分集合が EE- 極小元を持つことの同値性は初歩的な議論で出来るので良いと思います

  3. https://twitter.com/kururu_goedel/status/514174894779953152

  4. 絶対性の議論については拙稿「絶対性チートシート」を参照の事.論理式・証明図は HF\mathrm{HF} の元として実現出来,「証明である」「証明可能である」などの概念が算術的であることに注意すれば大丈夫です.


Comments