Aunque no tiene una definición generalmente aceptada podemoa definirla como la ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entidades abstractas como cantidad (teoría de números), estructura (álgebra), espacio (geometría), y variaciones (análisis matemático).