[推荐]【逻辑和集合论】

elimqiu

本书从历史和数学探索的角度介绍了数学基础和背后的思想。很不错。贴出引言部分以引起兴趣：

jzkyllcjl

形式逻辑无法建立无矛盾的数学理论体系；集合论不是数学的基础。实践是数学理论的基础，对立统一法则是阐述数学理论的根本法则。近似与理想相互依存；常量性无穷大与变量性无穷大相互依存。