Axiom of choice: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 5:
Furthermore, the axiom of choice implies the law of excluded middle, which means constructivist mathematicians tend to work in ZF rather than ZFC.
 
Lastly, and most famously, the axiom of choice implies the [[Banach-Tarski paradox]]. In particular, using the axiom of choice, it's possible to decompose any ball in 3D space into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball. Indeed, the reassembly process involves only moving the pieces around and rotating them without changing their shape. This is counterintuitive, but not truly paradoxical as the pieces themselves are not "solids" in the usual sense, but infinite scatterings of points.