目录

序言

编者注

第一章自然数串

第二章数的定义

第三章有穷与数学归纳法

第四章序的定义

第五章关系的种类

第六章关系的相似

第七章有理数、实数和复数

第八章无穷基数

第九章无穷序列与序数

第十章极限与连续性

第十一章函数的极限与连续性

第十二章选择与乘法公理

第十三章无穷公理与逻辑类型

第十四章不相容性与演绎法理论

笫十五章命题函项

第十六章摹状词

第十七章类

第十八章数学与逻辑

索引