作者: 杜文静
出版社: 复旦大学出版社
出版日期: 2013.05
ISBN-13: 9787309098389
ISBN-10: 7309098382
页数: 273
原书定价: 24.00
开本: 无
丛书名: 无
主题词: 公理方法·研究
中图分类号: B812.4
中图分类名: 哲学、宗教›逻辑学(论理学)›形式逻辑(名学、辩学)›论证与反驳
本著作在借鉴和吸纳国内外研究成果的基础上,研究内容主要包括:利用典范图探讨集合全域中的外延公理。特别的,利用哥德尔的可构成模型L,根据可构成公理V=L,为含有反基础公理AFA的集合论系统ZFC- +AFA和含有反基础公理族AFA~的集合论系…
目录仅对会员开放。