反基础公理的逻辑研究  

作　　者：李娜 袁旭亮 

机构地区：[1]不详

出　　处：《中国哲学年鉴》2017年第1期424-425,共2页Chinese Philosophical Almanac

摘　　要：全书共分为3编。第1编“用图刻画的反基础公理”主要证明Aczel用图刻画的各种反基础公理与公理集合论系统ZFC-的相对协调性,主要的工作是为用图的方法刻画的反基础公理AFA所构成的非良基集合论系统ZFC-+AFA建立不同的集合论模型。第2编“用方程组刻画的反基础公理”认为,乔恩·巴韦斯等人用代数的方法(方程组)刻画的反基础公理——解引理AFA断言平坦方程组有唯一解;但当平坦方程组是x={x}时,可以得到方程组{x}有两个不相等的解,与乔恩·巴韦斯等人的断言不一致。

关 键 词：公理集合论 方程组 唯一解 非良基集合 集合论模型 韦斯 AFA 协调性 

分 类 号：O17[理学—数学]