依賴選擇公理
維基百科,自由的 encyclopedia
在數學上,依賴選擇公理(,英語:Axiom of dependent choice)是選擇公理(
)較弱的版本,但依賴選擇公理依舊足以發展實分析絕大多數的內容。依賴選擇公理最早由保羅·伯奈斯(英語:Paul Bernays)於1942年一篇討論哪些集合論公理對發展數學分析是必要的文章中引入。[a]
在數學上,依賴選擇公理(,英語:Axiom of dependent choice)是選擇公理(
)較弱的版本,但依賴選擇公理依舊足以發展實分析絕大多數的內容。依賴選擇公理最早由保羅·伯奈斯(英語:Paul Bernays)於1942年一篇討論哪些集合論公理對發展數學分析是必要的文章中引入。[a]