>>466
様相論理 ⊃ 古典論理

集合論からは決して見ることのできなかった4本の射という論理の本質が新たに見えるようになった