論理学の授業で自然演繹を習うとき、最小論理にボトムの除去則、ないしは公理図式"￢A→(A→B)"を加えるとを加えると直観主義になると教わる。しかし、これは保存拡大にならない。まぁ、ボトムには導入則がないのだから、除去則を導入則によって正当化する、み…