第一章 自然数与数论 质数的几个证明 余数的几个证明 证明集合可数的简便方法 证明实数区间不可数的新方法 再谈稠密性:令人吃惊的稠密集及其交集 经典证明:任何可数集都含有不可数个嵌套子集 对角线方法之后的故事 第四章 射影集合 公理体系 非欧几何 平面几何中的几个著名定理