シンプルでエレガントにはなる
しかしそれが人間の直感にやさしいかは別
ただ最終的に証明の保証を与えるものとして必要だよ圏は
数理論理学さえ内包しちゃう世界の原理