作者: 李娜
出版社: 中国社会科学出版社
出版日期: 2016.03
ISBN-13: 9787516176313
ISBN-10: 7516176311
页数: 291
原书定价: 76.00
开本: 无
丛书名: 国家哲学社会科学成果文库
主题词: 逻辑学·研究
中图分类号: B812.4
中图分类名: 哲学、宗教›逻辑学(论理学)›形式逻辑(名学、辩学)›论证与反驳
本书包含三编: 第Ⅰ编:为用图的方法为刻画非良基集合论系统ZFC/ AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立了三种模型,从而证明各种反基础公理与ZFC?(=ZFC-FA)的相对协调性。 第Ⅱ编:基于线性方程组和它的解之…
目录仅对会员开放。