设WMμ为系统MIPC*全部公式的集,再设Г∪{A} WMμ,则Г MIPC*A意义明显.而Г M A指ГM-蕴涵A.以前已证明Г M A Г MIPC*A,即MIPC......