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