數(shù)學(xué)基礎(chǔ)（Foundation of Mathematics），是研究整個(gè)數(shù)學(xué)的理論基礎(chǔ)及其相關(guān)問題的一個(gè)專門學(xué)科，即研究數(shù)學(xué)的基礎(chǔ)，回答“數(shù)學(xué)是什么？”，“數(shù)學(xué)的基礎(chǔ)是什么？”，“數(shù)學(xué)是否和諧？”等等一些數(shù)學(xué)上的根本問題的學(xué)科。

對于直覺主義、邏輯主義和***的異同，可以追溯到近代哲學(xué)家康德對數(shù)學(xué)本質(zhì)的思考。

康德認(rèn)為算術(shù)來自先驗(yàn)主體對時(shí)間純形式的直觀，幾何則是對空間純形式的直觀。

這實(shí)質(zhì)上是一種由主觀而客觀的思路。

康德的思想后來又在胡塞爾那里得到繼承和發(fā)展。

胡塞爾就是從考慮“數(shù)在哪里”的問題提出現(xiàn)象學(xué)還原方法的。