3
edits
Changes
Jump to navigation
Jump to search
Line 8:
Line 8: + + +
Talk:Fermat's Last Theorem (view source)
Revision as of 14:26, December 9, 2009
, 14:26, December 9, 2009→Axiom of choice
Also, the profoundly intuitive [http://en.wikipedia.org/wiki/Trichotomy_%28mathematics%29 trichotomy] is equivalent to AC, so be careful what you call controversial. [[User:BenjB|BenjB]] 20:29, 27 January 2008 (EST)
Also, the profoundly intuitive [http://en.wikipedia.org/wiki/Trichotomy_%28mathematics%29 trichotomy] is equivalent to AC, so be careful what you call controversial. [[User:BenjB|BenjB]] 20:29, 27 January 2008 (EST)
"Any proof which uses the axiom of choice can be transformed into one that doesn't"?! Lol. If C is the axiom of choice, then C (vacuously) proves C. By your assertion, that proof can be 'transformed' into a proof not using C, which means you can prove C from ZF, which is a contradiction. Really, lol. [[User:Tomkup32|Tomkup32]] 09:26, 9 December 2009 (EST)