Una demostración de consistencia, o prueba de consistencia, es una demostración formal de que un sistema formal es consistente.