加地大介『もの』を読んでいます。 もの: 現代的実体主義の存在論 作者:加地 大介 春秋社 Amazon 71ページに公理と定理が載っているが、証明が省略されているので考えた。 公理KとTが使われているっぽい。ヒルベルト式で証明体系を与えて、本書の公理を追加…