The three schools of mathematics are formed by different discussions on the basis of mathematical philosophy, which mainly refer to logicism, formalism and intuitionism. It was mainly formed in the thirty years from 1900 to 1930. Representative figures are Russell, Hilbert and Brouwer.

Logicalism:

Russell is the main representative. In "Principles of Mathematics" and "Principles of Mathematics", Russell's goal is to prove the logicism topic of "congruence between mathematics and logic".

Formalism:

It is generally believed that the founder of formalism is Hilbert. Hilbert put forward two basic principles: ① formalism; 2 limitism.

Intuitionism:

The founder and representative of intuitionism is the Dutch mathematician Brouwer. In mathematical philosophy, intuitionism, or neo-intuitionism (corresponding to pre-intuitionism), is a mathematical research method with human constructive thinking activities.