转换原理简介转换原理亦称莱布尼茨原理,是联系分析的标准模型与非标准模型的纽带
简单地说,转换原理是说形式语言中相同的断言在标准模型和非标准模型中或者同真或者同假
在分析的(初等或高阶的)非标准模型的定义中,要求在标准模型中的句子在扩张后的非标准模型中也成立;反之,由于后者是前者的扩张,因而这种句子在局限于标准模型时也成立,人们把这个性质称为转换原理
以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。