En teoria de conjunts, l'axioma de l'elecció dependent és una forma més dèbil de l'axioma de l'elecció, que permet construir part de les matemàtiques ZFC, mentre que s'eviten problemes tals com la paradoxa de Banach-Tarski. En contrast, algunes demostracions tals com el teorema general de Tychonoff no són possibles (atès que tal teorema, per exemple, és equivalent a l'axioma de l'elecció).
Enunciat formal
Per a qualsevol conjunt A i la relació binària
![{\displaystyle [a\in A\,\land \,\forall x\in A\,\exists y\in A\,P(x,y)]\rightarrow \exists f:N\to A\,[f(0)=a\,\land \,\forall n\in N\,P(f(n),f(n+1))]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/02852afe41c00155633a08e246157780236f828b)
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
