Un sistema axiomático es un conjunto de enunciados del lenguaje (o "formas de enunciados" si contienen metavariables) y un conjunto de reglas de inferencia.