对“关于系统Z的一些意见”的意见

张清宇同志对张金成同志的系统Z(见2])以及我们对系统Z的评价(见3])从三个方面提出意见。这些意见发表在文1]中。针对文1],我们也从相同的三个方面给予答复。一、关于Z12在系统Z中的不独立性文1]关于Z12在系统Z中的不独立性的证明是成立的.对此我们表示欢迎。其实,我们在文3]中关于系统Z的语义完全性的证明已经暗含着关于Z12的不独立性的证明。因为在此证明中没有用到Z12.而Z12是系统Z的一个永真式.因而对于Z12可按照此证明所给出的机械程序加以推证。