No se ha añadido ninguna twiki todavía.

(del latín cum, con y sistere, situarse con o establecerse conjuntamente)

Afirmado de un conjunto de enunciados, significa la imposibilidad de deducir de ellos una contradicción. Afirmado de un par de enunciados comparados entre sí, significa la posibilidad de que ambos sean verdaderos al mismo tiempo. Afirmado de un sistema axiomático, propiedad por la que del conjunto de axiomas no puede deducirse un teorema y su contradicción. Afirmado de un conjunto de fórmulas, significa que no cualquier fórmula es deducible de dicho conjunto.

Una teoría es consistente si no contiene un enunciado y su negación; si contiene cualquier enunciado se la considera trivial.