In mathematics, the axiom of dependent choice, denoted by, is a weak form of the axiom of choice that is still sufficient to develop much of real analysis. It was introduced by Paul Bernays in a 1942 article that explores which set-theoretic... Wikipedia