well-ordering principle

axiom of choice

Seeing the Axiom of Choice Before It’s Stated