El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera matemática.