Ciencias Formales

validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.