公理集合论导引

公理集合论导引
7030018494
张锦文著
现代数学基础丛书
O144
科学出版社
1991-01
1991
1991
与通常的公理集合论著作不同，本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑