Talk:Fermat's Last Theorem

From Conservapedia

The first computer program I wrote - between high school and college - generated solutions to the Pythagorean Theorem. I guess I should have programmed it to count them, too. --Ed Poor ^Talk 21:25, 20 December 2007 (EST)

Axiom of choice

Any proof which uses the axiom of choice can be transformed into a proof that doesn't. Granted, it will be a somewhat more complicated proof, but it always works, and that's a fact. That is the reason that AC is much less controversial these days than it was, in the early 1900s.

There is a complete explanation of the process and the proof that it's reliable here.

Also, the profoundly intuitive trichotomy is equivalent to AC, so be careful what you call controversial. BenjB 20:29, 27 January 2008 (EST)