论集合论的模型

逻辑学研究 2019 年第 1 期， 49–69            文章编号： 1674-3202(2019)-01-0049-21

作者：李娜、何建锋

摘要： 本文讨论了 ZF 的经典模型和非经典模型，梳理了它们的最新动态，并且将 ZF 的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题：第一，这类弗协调集合论是否包含不是一致的集合；第二，在模型中如何处理相等关系 =，以便它能够满足莱布尼兹公理。此外，本文构造的广义代数值模型具有一定的可推广性。

关键词： 集合论的模型；独立性；布尔值；拓扑斯；弗协调集合论

中图分类号： B81                 文献标识码： A