a que ciencia pertenece la matematica
Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas y por regla general se asumen exactas o perfectas, a diferencia de las ciencias sociales y las ciencias naturales, que se argumentan de manera empírica o con métodos experimentales; es decir, observando el mundo real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia formal suelen llamarse «teoremas», que a su vez provienen de demostraciones matemáticas.