つまり∀や∃を、公理図式の形で導入するか、
MP以外に推論規則を加えて導入するかで、
演繹定理の成立する範囲が違う、ということかな

細かいなー