Un sistema formal es consistente si y sólo si el conjunto de sus teoremas es consistente.