译者序 1
引言 5
序言 13
编者注 15
第一章 自然数串 17
第二章 数的定义 27
第三章 有穷与数学归纳法 37
第四章 序的定义 47
第五章 关系的种类 61
第六章 关系的相似 71
第七章 有理数、实数和复数 83
第八章 无穷基数 99
第九章 无穷序列与序数 113
第十章 极限与连续性 121
第十一章 函数的极限与连续性 131
第十二章 选择与乘法公理 141
第十三章 无穷公理与逻辑类型 157
第十四章 不相容性与演绎法理论 171
第十五章 命题函项 183
第十六章 摹状词 195
第十七章类 211
第十八章 数学与逻辑 225
索引 237