El conjunto de fórmulas bien formadas constituyen el vocabulario o léxico, mientras el par formula_46 describe el conjunto de axiomas y el conjunto de reglas de deducción válidas.