http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
¿Es suficiente dc para la comprensión de objetos que son contables en algún sentido adecuado? Por ejemplo, ¿es suficiente DC para el desarrollo completo de la teoría de álgebras de von Neumann en un espacio de Hilbert separable?
