Axiom of Choice — Set Theory in 60 Seconds #Shorts

Added: 2026-05-16

[00:00:00]Given infinitely many non-empty can you pick one item from each? Sounds obvious yet without a rule no formula tells you which. The axiom of choice asserts a choice function exists even when no recipe does. Russell's quip pick a left shoe from each pair. Easy, that's a rule. But pick one sock from each indistinguishable pair, you need the axiom itself. Zorn's lemma is logically equivalent. Every chain in a poset has an upper bound. The well-ordering theorem also follows. Every set can be totally ordered. Banach-Tarski drops out as a consequence. A ball cuts into pieces forming two balls. Most of modern mathematics quietly invokes choice.

[00:00:38]Bases, ultrafilters, products. Without it can the real numbers even be measured consistently?