CONSISTENTE
El vocablo ‘consistente’ designa uno de los conceptos fundamentales usados en metalógica. Se llama consistente a un cálculo C cuando, dada una fórmula bien formada, f, de C, no es el caso que f y la negación de f (¬ f) sean a la vez teoremas de C. Se llama también consistente a un cálculo C cuando hay por lo menos una fórmula bien formada de C que no es un teorema de C. Las dos anteriores definiciones corresponden a dos tipos de consistencia y son aplicadas, según los casos, a diversas clases de cálculos.
El concepto de consistencia es un
