理论的相对一致性

摘要：

证明理论的一致性有两种基本方法:一是直接给出满足理论的语义结构;二是从一种理论的一致性得到要证理论的一致性.相对化的方法属于第二种方法,它可以从弱系统的一致性证明强系统的一致性.相对化证明理论的一致性实质上是以某个理论为中介,间接地给出满足理论T的语义结构.相对化的本质是"保守性"的翻译,而"保守性"翻译恰是从弱系统证明强系统的关键.

关键词：理论、相对化、保守性、一致性

所属期刊栏目：24

分类号：TP3;O1

资助基金：中国人民大学科学研究基金项目06XNB068

在线出版日期：2014-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：56-60