郝兆宽
集合论:对无穷概念的探索
本书是“逻辑与形而上学教科书系列”中的一本。书中介绍了集合论的基础知识，共有集合与公理，关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合论的基本概念
逻辑与形而上学教科书系列:数理逻辑·证明及其限度
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。本