実在的性質の閉包原理と神の存在可能性の同値性の証明（前半部） [趣味のゲーデル]

以前ゲーデルの神の存在証明を紹介したおりには端折ってしまった「実在的性質の閉包原理（実在的性質が集まって構成される性質はまた実在的である）と神の存在可能性はじつは同値であることの証明」に手をつけはじめました(PDF → PDF。完全ヴァージョンに切り替えました。ゆえに、以下の記述はいまとなっては筋の通らないものになってしまっていますが、その点ご諒承ください)。

上のPDFファイルでは前半部（「実在的性質の閉包原理 → 神の存在可能性」）を証明しただけなので、これから後半部（「神の存在可能性 → 実在的性質の閉包原理」）の証明に突入します。

ちなみに、証明を読むためには、じゃっかんのロジックの知識（高階述語論理、様相論理、およびツリーメソッドによる証明法）が必要とされますが、かなりていねいに（じっさいには自分でもうんざりしてくるぐらいにくどく）書いたつもりなので、それほど読解はむずかしくはないと思います。上記の事柄に関する知識が足りない場合は、たとえば戸田山本などを参照してください。

なお、意見・質問・誤りの指摘等があれば、お気軽にどうぞ。というか、誤りの指摘に関しては、ぜひともよろしくおねがいします。