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

Why worry about the axiom of choice? - MathOverflow - http://mathoverflow.net/questions/22927/why-worry-about-the-a...

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? · Скажи это моей лошади