1 微积分是建立在严格的逻辑基础上的。
2 微积分里面有很多很严格非平凡的证明，例如隐函数定理。
3 Arithmetic 也可以很深。不信去看看Serre的算术教程。
4 算术也是数学。

【 在 FSCMajor 的大作中提到: 】
: 微积分本质上和加减乘除四则运算一样，这些在我看来都是算术，
: 计算的方法。而不是真正数学。
: 真正的数学应该是那些逻辑思辨的证明题。
: ...................
--
FROM 69.131.210.*