曇りなき眼で見定めブログ

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