La lógica matemática estudia los sistemas formales, formados por conjuntos de signos y reglas combinatorias definidas axiomáticas, que son interpretables semánticamente.