数学与逻辑路径

从数感与算术到几何、函数、微积分，再补上证明方法、集合论与无穷；逻辑单列一条：命题逻辑 → 谓词逻辑 → 归纳演绎 → 悖论。