有穷性定理

    ​    ​1980年9月，在北大申又怅先生主持翻译的《非标准分析》中译版中，第二章“逻辑工具”，第5节“有穷性定理”(中译版第15页，北师大王世强翻译)，这条定理是现代数理逻辑(模型论)的核心定理。

    ​    有穷性定理是指：“给定句子集K，如果每一个有穷子集是协调的，则K也是协调的。”定理中所谓的“有穷”即有限的意思，而协调是指相拥一致，不相矛盾的意思。

    ​    ​1960年美国数学家鲁滨逊，巧妙的利用这条原理，证明了无穷小与无穷大的存在性。从而确立了非标准分析，令世人惊叹不已。

    ​    ​今年3月28日，我们把《非标准分析》中译版上传至无穷小微积分专业网站中，供国内广大读者下载阅读。也让读者更易于接触到这一定理，同时也极大的丰富了我们的无穷小专业网站的文献储备。

 

袁萌

2021年04月01日