Este tipo de interpretación filosófica de las matemáticas es habitualemente conocido como logicismo.