El razonamiento matemático cuantitativo es la fundación de numerosas disciplinas

académicas y procesos de pensamiento diarios. A través del razonamiento
cuantitativo los humanos son capaces de representar su mundo físico
mentalmente y predecir las propiedades y procesos del mundo natural. El
razonamiento matemático consiste en un conjunto de modelos que ayudan a
organizar y simplificar el proceso de la teorización de computadoras y
matemáticas.

Teoría numérica
La teoría numérica dice que los números naturales (por ejemplo, "los números
para contar") agrupan, clasifican y ordenan objetos empíricos, como manzanas, y
abstractos o imaginarios, como las ideas. A través del razonamiento matemático
cuantitativo, los humanos conceptualizan las propiedades como la magnitud y las
cantidades. Los números son los símbolos básicos del razonamiento cuantitativo.
Las personas usan la teoría numérica como tipo de atajo simbólico con el cuál
etiquetar, identificar y pensar sobre ciertas propiedades de una entidad empírica o
abstracta.

Teoría de prueba
Las pruebas son modelos matemáticos que representan reglas internas de las
matemáticas. Los teóricos matemáticos desarrollan pruebas asumiendo la verdad
de ciertas afirmaciones básicas llamadas axiomas, después deducen lógicamente
las conclusiones. Las pruebas matemáticas demuestran las relaciones entre las
propiedades matemáticas. En geometría, por ejemplo, las pruebas demuestran la
relación entre el área de un círculo y su diámetro.