摘要： 国内第一个以形式化方法建立起矛盾命题（或者说恒假命题）形式系统的是张清宇研究 员。结合２０世纪八九十年代逻辑发展的背景，研究张清宇当时提出的“证伪系统”概念和相关 工作的学术来源，并给出初步的评价。