自然數係統也沒人從Peano axioms 開始教啊。 這些除了做基礎邏輯研究的對大家不重要。
解析幾何加三角函數的計算幾何還比較有用。這裏解析幾何算是在多元微積分時教的,可以直接上曲線曲麵。(橢圓雙曲線啥的高中有。)