La consistencia de un conjunto de proposiciones formula_3 puede ser definida tanto en términos semánticos como en términos sintácticos.