公理集合论导引 《公理集合论导引》,作者:戴牧民,陈海燕,郑顶伟编著 出版社:科学出版社 ISBN:9787030312761。本书先介绍了集合论形成和发展的历程,公理化问题的由来,公理化的意义,其次按zfc公理系统逐步介绍各条公理,数系的构建,序数和基数的理论,以及在拓扑学研究上常用的一些知识等。 壹号书单 2011年06月01日 0 点赞 0 评论 24 浏览
公理集合论导引 《公理集合论导引》,作者:张锦文著 出版社:科学出版社 ISBN:7030018494。与通常的公理集合论著作不同,本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑 壹号书单 1991年01月01日 0 点赞 0 评论 31 浏览