Un sistema formal es decidible sintácticamente si el conjunto de todas las fórmulas válidas en el sistema es decidible.