依賴選擇公理 在數學上依賴選擇公理 D C displaystyle mathsf DC 英語Axiom of dependent choice是選擇公理 A C displaystyle mathsf AC 較弱的版本但依賴選擇公理依舊足以發展實分析絕大多數的內容依賴選擇公理最早由保羅伯奈斯英语Paul Bernays於年一篇討論哪些集合論公理對發展數學分析是必要的文章中引入