On the axiom of choice, 1962