序言 3
编者注 5
第一章 自然数串 7
第二章 数的定义 16
第三章 有穷与数学归纳法 24
第四章 序的定义 32
第五章 关系的种类 43
第六章 关系的相似 52
第七章 有理数、实数和复数 62
第八章 无穷基数 75
第九章 无穷序列与序数 86
第十章 极限与连续性 93
第十一章 函数的极限与连续性 102
第十二章 选择与乘法公理 111
第十三章 无穷公理与逻辑类型 124
第十四章 不相容性与演绎法理论 136
第十五章 命题函项 146
第十六章 摹状词 157
第十七章 类 170
第十八章 数学与逻辑 182
索引 193