text: However, if ZFC is not consistent, there exists a proof of both a theorem and its negation, and this would imply a proof of all theorems and all their negations. As, despite the large number of mathematical areas that have been deeply studied, no such contradiction has ever been found, this provides an almost certainty of mathematical results. Moreover, if such a contradiction would eventually be found, most mathematicians are convinced that it will be possible to resolve it by a slight modification of the axioms of ZFC.
  Moreover, the method of forcing allows proving the consistency of a theory, provided that another theory is consistent. For example, if ZFC is consistent, adding to it the continuum hypothesis or a negation of it defines two theories that are both consistent (in other words, the continuum is independent from the axioms of ZFC). This existence of proofs of relative consistency implies that the consistency of modern mathematics depends weakly on a particular choice on the axioms on which mathematics are built.
  In this sense, the crisis has been resolved, as, although consistency of ZFC is not provable, it solves (or avoids) all logical paradoxes at the origin of the crisis, and there are many facts that provide a quasi-certainty of the consistency of modern mathematics.