- #1
jostpuur
- 2,116
- 19
Does there exist a theorem, whose proof relies on the axiom of choice, and which has practical or concrete applications? I'll consider for example PDE and number theory problems practical or concrete, because they can be intuitively connected with the physical world. On the other hand, for example non-measurable sets hardly have effect on anything, except on abstract theory.