Un sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición tal que se puede demostrar o deducir simultáneamente la proposición y su negación.