En lógica matemática , una secuencia tolerante es una secuencia
de teorías formales tales que existen extensiones consistentes
de estas teorías con cada una interpretable en . La tolerancia se generaliza naturalmente desde secuencias de teorías hasta árboles de teorías. Se puede demostrar que la interpretabilidad débil es un caso binario especial de tolerancia.
Este concepto, junto con su concepto dual de cotolerancia, fue introducido por Japaridze en 1992, quien también demostró que, para la aritmética de Peano y cualquier teoría más sólida con axiomatizaciones efectivas, la tolerancia es equivalente a la consistencia.
