数学基础(Foundation of Mathematics)是研究整个数学的理论基础及其相关问题的一个专门学科，即研究数学的基础，回答"数学是什么?"，"数学的基础是什么?"，"数学是否和谐?"等等一些数学上的根本问题的学科。对于直觉主义、逻辑主义和形式主义的异同，可以追溯到近代哲学家康德对数学本质的思考。康德认为算术来自先验主体对时间纯形式的直观，几何则是对空间纯形式的直观。这实质上是一种由主观而客观的思路。康德的思想后来又在胡塞尔那里得到继承和发展。胡塞尔就是从考虑"数在哪里"的问题提出现象学还原方法的。对于数学基础的关注和研究，可追溯至古代。但在较长的历史阶段中，只限于对单科数学分支基