柏拉图主义

数学哲学门派林立，比如毕达哥拉斯派、诡辩派、原子论派、雅典派、武当派、少林派等等。但归结归结这些门派，分属三大主义，形式主义、直觉主义，和柏拉图主义。

柏拉图主义，强调数学是超越我们经验世界的客观存在，就是说更高档。数学概念、数学公理不以人的主观意志为转移，就是说跟我们不能发明它而只能发现它。发现它的办法是逻辑推导，经过严格逻辑推导的数学，即是真理。而真理，是美好的，理想的。

真理往前再走一步是什么？柏拉图就往前再走了一步，推出柏拉图爱情。