[math-fun] Fermat's Last Theorem question

Q about the proof of FLT: I realize that Fermat himself wouldn't recognize Wiles's proof, but would Fermat recognize the assumptions? I.e., does the Wiles proof require any "exotic" assumptions -- e.g., axiom of choice, generalized Riemann hypothesis, etc. ?