Does FLT require AC?

Stream: new members

[Lars Ericson]

Does Wile's proof of Fermat's Last Theorem require the Axiom of Choice?

Some views:

• Why was this question about axiom of choice and the Wiles's proof of FLT deleted?
• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory

[Kevin Buzzard]

Yes in practice: all proofs use a bunch of harmonic analysis which is traditionally set up with AC. Can this be done without AC? All the people who know the relevant harmonic analysis would, I suspect, not be remotely interested in finding out the answer to this question, because whether or not a proof uses AC is rather a niche question in mainstream maths circles.

[Jason Rute]

For someone like me who gets to this, just note most of the discussion is on the other post: #new members > Does FLT require LEM?