更新时间：2023-07-16 00:32
《反基础公理的逻辑研究》是2016年中国社会科学出版社出版的图书，作者是李娜。
本书包含三编：
第Ⅰ编：为用图的方法为刻画非良基集合论系统ZFC/ AFA（或者SAFA、FAFA以及反基础公理家族AFA~）建立了三种模型，从而证明各种反基础公理与ZFC?（=ZFC-FA）的相对协调性。
第Ⅱ编：基于线性方程组和它的解之间的关系，修正、完善和丰富了巴威斯（J.Barwise）等人用代数方法——方程组刻画的反基础公理--解引理理论。
第Ⅲ编：包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。
李娜，女，1958年生，河南开封市人。研究方向：现代逻辑。中国逻辑学会会员。1978年至1982年在河南大学数学系学习，获理学学士学位。1986至1989年在中国科学院软件研究所学习，获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博士生导师。主持多项省级或国家级社会科学研究项目；出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型等学术专著》，发表《GB的布尔值模型》等多篇学术论文；获得教育部人文社会科学优秀成果二等奖1次、三等奖1次。