Un sistema formal es un lenguaje formal (alfabeto y gramática) más un aparato deductivo (axiomas y reglas de inferencia).
Los sistemas formales tiene al menos cuatro elementos que los definen:
1. Un alfabeto
2. un repertorio de reglas de formación de fórmulas (esto es, una gramática).
3. Una lista de axiomas o postulados, que son las fórmulas primitivas del sistema.
4. Un repertorio de reglas de inferencia (es decir, una sintaxis)
(v. axioma, cálculo, lenguaje formal, sistema decidible, teorema)
