国内大学高数很多内容在这里放在real analysis里上? Really?

起码我当年上学时不是这样的（八十年代末）

那时国内一般理工科（非数学）专业的第一年高数和现在美国高中的AP calculus BC差不多，以演算为主，偶尔点缀一点证明。

数学系第一年学的是数学分析，以证明为主，那是和AP课大不相同。不过那也不是real analysis。真正的实分析要从实数的完备性开始讲起。数学分析是学到中间才引入实数的完备性。