自然数系统也没人从Peano axioms 开始教啊。 这些除了做基础逻辑研究的对大家不重要。
解析几何加三角函数的计算几何还比较有用。这里解析几何算是在多元微积分时教的,可以直接上曲线曲面。(椭圆双曲线啥的高中有。)