数学基础论(theory of mathematical founda-lion )数学理论的基础.它是为数学的有效性建立可靠依据的学科.在数学基础研究中由于基本观点的不同而形成了各种流派，主要是:逻辑主义、直觉主义和形式公理主义.