Se define como la ciencia formal y exacta que, basada en los principios de la lógica, estudia las propiedades y las relaciones que se establecen entre los entes abstractos. Este concepto de ‘entes abstractos’ incluye a los números, los símbolos y las figuras geométricas, entre otros.