↓これの続き cut-elimination.hatenablog.com 今回は内容的には「その1」の続きです。 cut-elimination.hatenablog.com ↑の「その1」で、証明ネットはusineの実例だというようなことを書いた。しかしジラール的には、証明ネットはまだまだ「偏見」から逃れら…