国家社科基金重点项目“基于哲学逻辑的集合论研究”(16AZD036)论文

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