论文部分内容阅读
证明理论的一致性有两种基本方法:一是直接给出满足理论的语义结构;二是从一种理论的一致性得到要证理论的一致性。相对化的方法属于第二种方法,它可以从弱系统的一致性证明强系统的一致性。相对化证明理论的一致性实质上是以某个理论为中介,间接地给出满足理论T的语义结构。相对化的本质是“保守性”的翻译,而“保守性”翻译恰是从弱系统证明强系统的关键。
There are two basic methods to prove the consistency of the theory: one is to directly provide the semantic structure of satisfying theory; the other is to obtain the consistency of the theory of evidence from the consistency of a theory. The method of relativity belongs to the second method, which can prove strong system consistency from weak system consistency. The theory of relativity proves that the consistency of theory is essentially based on a certain theory and indirectly gives the semantic structure that satisfies theory T. The essence of relativity is the translation of “conservativeness”, and the translation of “conservativeness” is just the key to prove the strong system from the weak system.