包邮抽象主义集合论(上卷):从布劳斯到斯塔德

引言

**章 高阶集合论

**节高阶集合论的模型、可能模型与标准模型

第二节 层次理论下的集合论

第三节 克雷泽尔原则、反射原则与强无穷公理

第四节 对集合论真性的结构主义描述

第五节 二阶策梅洛集合论变体模型

第六节 范畴性、迭代与大小限制

第二章 集合迭代

**节 用阶段理论描述集合迭代概念

第二节 两个典型的集合概念

第三节 编码集合迭代概念的更新第五基本定律

第四节 基于双模态的集合迭代概念公理化

第三章 新逻辑主义实分析

**节 新弗雷格主义实数抽象原则

第二节 基于黑尔的对膨胀抽象原则的分析

第三节 从结构主义出发对实分析的新逻辑主义处理

第四节 作为抽象主义实分析基础的弗雷格约束

第四章 新逻辑主义集合论

**节 启蒙版本第五基本定律模型

第二节 关于新第五基本定律的哲学争论与数学推进

第三节 新逻辑主义者无法构建数学的认识无罪性

第四节 探寻作为新弗雷格主义集合论基础的抽象原则

第五节 坏性作为不定可扩充性的抽象主义集合论

第六节 抽象原则、认识无罪与富有窘境异议

第七节 良基和非良基弗雷格主义扩充

第八节 弗雷格会面策梅洛：对不可言喻性和反射的看法

参考文献