更新时间：2024-05-16 22:44
数学基础（Foundation of Mathematics），是研究整个数学的理论基础及其相关问题的一个专门学科，即研究数学的基础，回答“数学是什么？”，“数学的基础是什么？”，“数学是否和谐？”等等一些数学上的根本问题的学科。对于直觉主义、逻辑主义和形式主义的异同，可以追溯到近代哲学家康德对数学本质的思考。康德认为算术来自先验主体对时间纯形式的直观，几何则是对空间纯形式的直观。这实质上是一种由主观而客观的思路。康德的思想后来又在胡塞尔那里得到继承和发展。胡塞尔就是从考虑“数在哪里”的问题提出现象学还原方法的。
数学基础（Foundation of Mathematics）是研究整个数学的理论基础及其相关问题的一个专门学科，即研究数学的基础，回答“数学是什么？”，“数学的基础是什么？”，“数学是否和谐？”等等一些数学上的根本问题的学科。对于直觉主义、逻辑主义和形式主义的异同，可以追溯到近代哲学家康德对数学本质的思考。
康德认为算术来自先验主体对时间纯形式的直观，几何则是对空间纯形式的直观。这实质上是一种由主观而客观的思路。康德的思想后来又在胡塞尔那里得到继承和发展。胡塞尔就是从考虑“数在哪里”的问题提出现象学还原方法的。
对于数学基础的关注和研究，可追溯至古代。但在较长的历史阶段中，只限于对单科数学分支基础的讨论.至于作为整个数学理论基础的探索，尤其是“数学基础”作为一门专门学科的形成和诞生，乃是20世纪初的事.当时也是由于多种因素和研究活动的汇合，尤其是在作为整个经典数学之理论基础的集合论中出现悖论之后，才把数学基础问题的研究推向高潮，并进一步促进了数学哲学的发展，直至最终成为20世纪数学领域中深入的研究活动之一。