一九七八年逝世的K.哥德尔教授是当代最杰出的数理逻辑学家,一位才华出众的理论工作者。王浩教授曾这样评论说,“哥德尔教授只从事于具有根本性的研究……他的工作导致了以往几十年效学基础研究中大多数主要部分的发展……哥德尔教授的工作使现代逻辑起了革命性的变化,极大地提高了它在数学和哲学方面的重要意义。”在哥德尔的各项研究中,一九三一年发表的不完备性定理具有特别重要的意义。它被誉为“数学和逻辑 Professor K. Godel, who died in 1978, is one of the most prominent mathematical logicologists of the present age, a talented theoretical worker. Professor Wang Hao remarked in this way: “Professor Godel has been engaged only in fundamental research ... His work has led to the development of most of the major parts of the basic research of learning in the past decades ... Professor Godel’s work The modern logic has undergone revolutionary changes that have greatly enhanced its importance in mathematics and philosophy. ”Among the various studies of Godel, the incompleteness theorem published in 1931 is of special importance. It is known as "Mathematics and Logic