反基础公理的模型研究

本著作在借鉴和吸纳国内外研究成果的基础上，研究内容主要包括：利用典范图探讨集合全域中的外延公理。特别的，利用哥德尔的可构成模型L，根据可构成公理V=L，为含有反基础公理AFA的集合论系统ZFC- +AFA和含有反基础公理族AFA~的集合论系统ZFC- + AFA~建立可构成模型；此外，在林德斯姆工作的基础上，采用阿克采尔的方法，为含有反基础公理族AFA~的构造集合论系统CZF- + AFA~建立构造性模型。这些研究工作对丰富集合论理论具有一定的意义，并对人工智能与法律领域的学者致力于运用人工智能技术处理法律领域内的论证识别、构造、分析、评价的过程以及进一步促进论证形式化系统可视化、软件化的应用升级有一定的促进作用。