Three leading types of definition of mathematics are called logicist, intuitionist, and formalist, each reflecting a different philosophical school of thought.
Os tres tipos principais de definición das matemáticas reciben o nome de loxicista, intuicionista e formalista, cada unha reflectindo diferentes escolas filosóficas de pensamento.