【様相論理】加地大介『もの』71ページで省略されている証明

　加地大介『もの』を読んでいます。

もの: 現代的実体主義の存在論

　71ページに公理と定理が載っているが、証明が省略されているので考えた。

公理KとTが使われているっぽい。ヒルベルト式で証明体系を与えて、本書の公理を追加して証明してみた。

　一様代入則の定義は面倒なので省いてしまった。詳しくは↓の本の佐野勝彦「様相論理入門」を見よう！

数学における証明と真理: 様相論理と数学基礎論