In mathematical logic, a tolerant sequence is a sequence
of formal theories such that there are consistent extensions
of these theories with each
This concept, together with its dual concept of cotolerance, was introduced by Japaridze in 1992, who also proved that, for Peano arithmetic and any stronger theories with effective axiomatizations, tolerance is equivalent to