Before revision: However, if ZFC would not be consistent, there would exist a proof of both a theorem and its negation, and this would imply a proof of all theorems and all their negations.
After revision: 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.