Fermat's Last Theorem and Hilbert's program (Q1361166)

Granting its correctness, how convinced can we be by Wiles's proof of Fermat's Last Theorem? If we question the system of axioms (say ZF) upon which it rests, Hilbert observed that if the proof is correct, a counterexample would demonstrate the consistency of the system. Thus, we could establish the reliability of the proof by establishing axiomatic consistency. The author raises questions about the current status of Wiles's proof now that we know that it is impossible to establish the consistency of ZF.