浅论关于数理逻辑的三大数学基础学派

逻辑主义、形式主义和直觉主义三大学派的争论,虽然都未能对数学基础问题做出令人信服的解答,没有得到明确的结论。但是他们各自发展了一套精致而深奥的理论,推动了数学的发展,让人们对数学基础的认识引向了空前的深度。三大学派在基础问题上积累的深刻的结果,都被纳入数理逻辑研究的范畴而极大地推动了现代数理逻辑的形成与发展,对现代数学产生的深远的意义。