Episode is about the Well Ordering Axiom. Theorem 1.1
See All 17 Episodes of "When Am I Going to Use This?"