3Kurt Godel. The completeness of the axioms of the functional calculus of logic[A]. Jean van Heijenoort. From Frege to Godel[C]. Harvard University Press, 1967. 583.
4张建军.逻辑悖论研究引论[M]南京:南京大学出版社,2002.
5刘晓力.理性的生命:哥德尔思想研究[M]长沙:湖南教育出版社,200076-78.
6沈有鼎.两个语义悖论[A]北京:人民出版社,1992215.
7Montague R. Syntactical Treatment of Modality,with Corollaries on Reflection Principles and Finite Axiomatizability[A].New Haven CT:Yale University Press,1974.286-302.