数学基础的研究，形成了逻辑主义、形式主义和直觉主义三大学派，其运用理性主义构造数学，认为数学是一个欧几里得系统。
The research of the foundations of mathematics falls into three schools of thought : logicism , formalism and intuitionism . They constitute mathematics by means of rationalism and maintain that mathematics is a Euclidean system .
直觉主义派