Скажи это моей лошади
» from archive
Why worry about the axiom of choice?  MathOverflow  http://mathoverflow.net/questions/22927/whyworryaboutthea...
If I am working on a problem which is not directly related to logic or set theory, can important mathematical insight be gained by understanding its dependence on the axiom of choice? If I am working on a problem and I find a two page proof which uses the fact that every commutative ring has a maximal ideal but I can envision a ten page proof which circumvents the axiom of choice, is there any sense in which my two page proof is "worse" or less useful?

Скажи это моей лошади