加地大介『もの』を読んでいます。 もの: 現代的実体主義の存在論 作者:加地 大介 春秋社 Amazon 71ページに公理と定理が載っているが、証明が省略されているので考えた。 公理KとTが使われているっぽい。ヒルベルト式で証明体系を与えて、本書の公理を追加して証明してみた。 一様代入則の定義は面倒なので省いてしまった。詳しくは↓の本の佐野勝彦「様相論理入門」を見よう! 数学における証明と真理: 様相論理と数学基礎論 作者:勝彦, 佐野,太志, 倉橋,季路, 薄葉,英徳, 黒川,誠, 菊池 共立出版 Amazon