拓扑斯论文

论集合论的模型李娜何建锋摘要：本文讨论了ZF的经典模型和非经典模型，梳理了它们的最新动态，并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于...