Lo relevante en el tema que nos ocupa es la capacidad especulativa lógico-matemática como lenguaje formalizado; la capacidad de formalización de sistemas consistentes e independientes de la experiencia, que acaban ofreciendo soluciones y planteando nuevos problemas e interpretaciones del mundo según teorías que marcan el progreso del conocimiento científico.