数学基础（Fundamental Mathematics）即研究数学的基础，回答“数学是什么？”，“数学的基础是什么？”，“数学是否和谐？”等等一些数学上的根本问题的学科。

从直觉主义、逻辑主义和形式主义的相同与不同，可以追溯到近代康德对数学本质的思考。

康德认为算术来自先验主体对时间纯形式的直观，几何则是对空间纯形式的直观。

这实质上是一种由主观而客观的思路。

康德的思想后来又在胡塞尔那里得到继承和发展。

胡塞尔就是从考虑“数在哪里”的问题提出现象学还原方法的

（正比例函数、一次函数、二次函数）、一元二次方程、平面几何、三角函数

因式分解，集合，逻辑