証明論
証明の道具
自然演繹
シークエント計算
http://domuslogica.net/archives/2020/20200927_matsumoto.pdf