Fermat's most famous equation is [[Fermat's Last Theorem]], which was not proven until mathematician Andrew Wiles relied on the controversial [[Axiom of Choice]] and [[hyperbolic geometry]] to publish an abstract proof, in conjuction with others, in 1995. | Fermat's most famous equation is [[Fermat's Last Theorem]], which was not proven until mathematician Andrew Wiles relied on the controversial [[Axiom of Choice]] and [[hyperbolic geometry]] to publish an abstract proof, in conjuction with others, in 1995. |