2012-01-13 証明論 数学 メモ あとで読む wikipedia:en:Proof_system wikipedia:en:Sequent_calculus wikipedia:en:Axiomatic_system http://plato.stanford.edu/entries/proof-theory-development/