O000429　数学基础

---

莫绍揆编著。

高等教育出版社1991年5月版。26万字。

主要内容有：绪论，介绍数学的三次危机及其解决过程；逻辑演算，介绍数理逻辑的基本内容；自然数论，介绍皮亚诺算术及递归算术与递归函数论；数系的构造，介绍由自然数到实数的构造过程；几何基础，介绍、评价希尔伯特的几何公理系统，介绍用线性代数处理几何问题的方法；集合论初步，阐明将整个数学各概念归结为集合论概念的方法；抽象公理系统。附录介绍形式系统的不完备性。