Ver el código de «Axioma de elección dependiente»

El '''axioma de elección dependiente''' es una forma más débil del [[axioma de elección]], que permite construir la mayor parte de las matemáticas, mientras se evitan problemas tales como la [[paradoja de Banach-Tarski]], en contraste, algunas demostraciones tales como el [[Teorema de Tychonoff|teorema general de Tychonoff]] no son posibles (dado que tal teorema, por ejemplo, es equivalente al axioma de elección).

== Enunciado formal ==

Para cuales sean conjuntos ''A'' y la relación binaria <math>P \subset A \times A \,</math>
:<math>[a \in A \, \land \, \forall x \in A \, \exist y \in A \, P(x,y)] \rightarrow  \exist f : N \to A \, [f(0) = a \, \land \, \forall n \in N \, P(f(n),f(n+1))] </math>

{{Control de autoridades}}
[[Categoría:Axioma de elección|Elección dependiente]]