Axiom of dependent choices

From Free net encyclopedia