La lógica matemática surgió del intento de formalizar las bases de las matemáticas y proporcionar un lenguaje universal que permitiera expresar teorías de manera precisa y sin ambigüedades. Con este enfoque, se busca reducir las matemáticas a un conjunto de axiomas (proposiciones básicas) y reglas de inferencia (métodos para deducir nuevas proposiciones) que permitan derivar todos los teoremas de manera lógica.